CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

THE LATEST NEWS: Python's most popular property-based testing tool, Hypothesis, now supports running CrossHair as an optional backend!

If you have a function with type annotations and add a contract in a supported syntax, CrossHair will attempt to find counterexamples for you:

Animated GIF demonstrating the verification of a python function

CrossHair works by repeatedly calling your functions with symbolic inputs. It uses an SMT solver (a kind of theorem prover) to explore viable execution paths and find counterexamples for you. This is not a new idea; a Python approach was first described in this paper. However, to my knowledge, CrossHair is the most complete implementation: it can use symbolic reasoning for the built-in types, user-defined classes, and much of the standard library.

Try CrossHair right now, in your browser, at crosshair-web.org!

CrossHair has IDE integrations for VS Code, PyCharm, and more.

Finally, CrossHair can do more than check contracts. It can also generate unit tests and find behavioral differences between functions.

Want to help? Sign up for email or RSS updates. Star ⭐️ the repository. There are other ways to help too.

Documentation

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

crosshair_tool-0.0.110.tar.gz (628.6 kB view details)

Uploaded Aug 16, 2026 Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

crosshair_tool-0.0.110-cp314-cp314-win_amd64.whl (707.7 kB view details)

Uploaded Aug 16, 2026 CPython 3.14Windows x86-64

crosshair_tool-0.0.110-cp314-cp314-win32.whl (706.3 kB view details)

Uploaded Aug 16, 2026 CPython 3.14Windows x86

crosshair_tool-0.0.110-cp314-cp314-musllinux_1_2_x86_64.whl (801.3 kB view details)

Uploaded Aug 16, 2026 CPython 3.14musllinux: musl 1.2+ x86-64

crosshair_tool-0.0.110-cp314-cp314-manylinux1_x86_64.manylinux_2_28_x86_64.manylinux_2_5_x86_64.whl (802.8 kB view details)

Uploaded Aug 16, 2026 CPython 3.14manylinux: glibc 2.28+ x86-64manylinux: glibc 2.5+ x86-64

crosshair_tool-0.0.110-cp314-cp314-macosx_11_0_arm64.whl (712.9 kB view details)

Uploaded Aug 16, 2026 CPython 3.14macOS 11.0+ ARM64

crosshair_tool-0.0.110-cp314-cp314-macosx_10_13_x86_64.whl (712.3 kB view details)

Uploaded Aug 16, 2026 CPython 3.14macOS 10.13+ x86-64

crosshair_tool-0.0.110-cp314-cp314-macosx_10_13_universal2.whl (728.5 kB view details)

Uploaded Aug 16, 2026 CPython 3.14macOS 10.13+ universal2 (ARM64, x86-64)

crosshair_tool-0.0.110-cp313-cp313-win_amd64.whl (708.7 kB view details)

Uploaded Aug 16, 2026 CPython 3.13Windows x86-64

crosshair_tool-0.0.110-cp313-cp313-win32.whl (707.1 kB view details)

Uploaded Aug 16, 2026 CPython 3.13Windows x86

crosshair_tool-0.0.110-cp313-cp313-musllinux_1_2_x86_64.whl (762.8 kB view details)

Uploaded Aug 16, 2026 CPython 3.13musllinux: musl 1.2+ x86-64

crosshair_tool-0.0.110-cp313-cp313-manylinux1_x86_64.manylinux_2_28_x86_64.manylinux_2_5_x86_64.whl (764.2 kB view details)

Uploaded Aug 16, 2026 CPython 3.13manylinux: glibc 2.28+ x86-64manylinux: glibc 2.5+ x86-64

crosshair_tool-0.0.110-cp313-cp313-macosx_11_0_arm64.whl (714.0 kB view details)

Uploaded Aug 16, 2026 CPython 3.13macOS 11.0+ ARM64

crosshair_tool-0.0.110-cp313-cp313-macosx_10_13_x86_64.whl (713.4 kB view details)

Uploaded Aug 16, 2026 CPython 3.13macOS 10.13+ x86-64

crosshair_tool-0.0.110-cp313-cp313-macosx_10_13_universal2.whl (730.7 kB view details)

Uploaded Aug 16, 2026 CPython 3.13macOS 10.13+ universal2 (ARM64, x86-64)

crosshair_tool-0.0.110-cp312-cp312-win_amd64.whl (708.7 kB view details)

Uploaded Aug 16, 2026 CPython 3.12Windows x86-64

crosshair_tool-0.0.110-cp312-cp312-win32.whl (707.1 kB view details)

Uploaded Aug 16, 2026 CPython 3.12Windows x86

crosshair_tool-0.0.110-cp312-cp312-musllinux_1_2_x86_64.whl (756.5 kB view details)

Uploaded Aug 16, 2026 CPython 3.12musllinux: musl 1.2+ x86-64

crosshair_tool-0.0.110-cp312-cp312-manylinux1_x86_64.manylinux_2_28_x86_64.manylinux_2_5_x86_64.whl (757.7 kB view details)

Uploaded Aug 16, 2026 CPython 3.12manylinux: glibc 2.28+ x86-64manylinux: glibc 2.5+ x86-64

crosshair_tool-0.0.110-cp312-cp312-macosx_11_0_arm64.whl (710.1 kB view details)

Uploaded Aug 16, 2026 CPython 3.12macOS 11.0+ ARM64

crosshair_tool-0.0.110-cp312-cp312-macosx_10_13_x86_64.whl (709.6 kB view details)

Uploaded Aug 16, 2026 CPython 3.12macOS 10.13+ x86-64

crosshair_tool-0.0.110-cp312-cp312-macosx_10_13_universal2.whl (723.1 kB view details)

Uploaded Aug 16, 2026 CPython 3.12macOS 10.13+ universal2 (ARM64, x86-64)

crosshair_tool-0.0.110-cp311-cp311-win_amd64.whl (706.7 kB view details)

Uploaded Aug 16, 2026 CPython 3.11Windows x86-64

crosshair_tool-0.0.110-cp311-cp311-win32.whl (705.4 kB view details)

Uploaded Aug 16, 2026 CPython 3.11Windows x86

crosshair_tool-0.0.110-cp311-cp311-musllinux_1_2_x86_64.whl (747.5 kB view details)

Uploaded Aug 16, 2026 CPython 3.11musllinux: musl 1.2+ x86-64

crosshair_tool-0.0.110-cp311-cp311-manylinux1_x86_64.manylinux_2_28_x86_64.manylinux_2_5_x86_64.whl (748.5 kB view details)

Uploaded Aug 16, 2026 CPython 3.11manylinux: glibc 2.28+ x86-64manylinux: glibc 2.5+ x86-64

crosshair_tool-0.0.110-cp311-cp311-macosx_11_0_arm64.whl (707.9 kB view details)

Uploaded Aug 16, 2026 CPython 3.11macOS 11.0+ ARM64

crosshair_tool-0.0.110-cp311-cp311-macosx_10_9_x86_64.whl (707.2 kB view details)

Uploaded Aug 16, 2026 CPython 3.11macOS 10.9+ x86-64

crosshair_tool-0.0.110-cp311-cp311-macosx_10_9_universal2.whl (718.4 kB view details)

Uploaded Aug 16, 2026 CPython 3.11macOS 10.9+ universal2 (ARM64, x86-64)

crosshair_tool-0.0.110-cp310-cp310-win_amd64.whl (706.8 kB view details)

Uploaded Aug 16, 2026 CPython 3.10Windows x86-64

crosshair_tool-0.0.110-cp310-cp310-win32.whl (705.4 kB view details)

Uploaded Aug 16, 2026 CPython 3.10Windows x86

crosshair_tool-0.0.110-cp310-cp310-musllinux_1_2_x86_64.whl (749.5 kB view details)

Uploaded Aug 16, 2026 CPython 3.10musllinux: musl 1.2+ x86-64

crosshair_tool-0.0.110-cp310-cp310-manylinux1_x86_64.manylinux_2_28_x86_64.manylinux_2_5_x86_64.whl (750.6 kB view details)

Uploaded Aug 16, 2026 CPython 3.10manylinux: glibc 2.28+ x86-64manylinux: glibc 2.5+ x86-64

crosshair_tool-0.0.110-cp310-cp310-macosx_11_0_arm64.whl (708.0 kB view details)

Uploaded Aug 16, 2026 CPython 3.10macOS 11.0+ ARM64

crosshair_tool-0.0.110-cp310-cp310-macosx_10_9_x86_64.whl (707.3 kB view details)

Uploaded Aug 16, 2026 CPython 3.10macOS 10.9+ x86-64

crosshair_tool-0.0.110-cp310-cp310-macosx_10_9_universal2.whl (718.5 kB view details)

Uploaded Aug 16, 2026 CPython 3.10macOS 10.9+ universal2 (ARM64, x86-64)

crosshair_tool-0.0.110-cp39-cp39-win_amd64.whl (706.8 kB view details)

Uploaded Aug 16, 2026 CPython 3.9Windows x86-64

crosshair_tool-0.0.110-cp39-cp39-win32.whl (705.4 kB view details)

Uploaded Aug 16, 2026 CPython 3.9Windows x86

crosshair_tool-0.0.110-cp39-cp39-musllinux_1_2_x86_64.whl (747.1 kB view details)

Uploaded Aug 16, 2026 CPython 3.9musllinux: musl 1.2+ x86-64

crosshair_tool-0.0.110-cp39-cp39-manylinux1_x86_64.manylinux_2_28_x86_64.manylinux_2_5_x86_64.whl (748.2 kB view details)

Uploaded Aug 16, 2026 CPython 3.9manylinux: glibc 2.28+ x86-64manylinux: glibc 2.5+ x86-64

crosshair_tool-0.0.110-cp39-cp39-macosx_11_0_arm64.whl (707.9 kB view details)

Uploaded Aug 16, 2026 CPython 3.9macOS 11.0+ ARM64

crosshair_tool-0.0.110-cp39-cp39-macosx_10_9_x86_64.whl (707.2 kB view details)

Uploaded Aug 16, 2026 CPython 3.9macOS 10.9+ x86-64

crosshair_tool-0.0.110-cp39-cp39-macosx_10_9_universal2.whl (718.4 kB view details)

Uploaded Aug 16, 2026 CPython 3.9macOS 10.9+ universal2 (ARM64, x86-64)

crosshair_tool-0.0.110-cp38-cp38-win_amd64.whl (706.7 kB view details)

Uploaded Aug 16, 2026 CPython 3.8Windows x86-64

crosshair_tool-0.0.110-cp38-cp38-win32.whl (705.3 kB view details)

Uploaded Aug 16, 2026 CPython 3.8Windows x86

crosshair_tool-0.0.110-cp38-cp38-musllinux_1_2_x86_64.whl (744.9 kB view details)

Uploaded Aug 16, 2026 CPython 3.8musllinux: musl 1.2+ x86-64

crosshair_tool-0.0.110-cp38-cp38-manylinux1_x86_64.manylinux_2_28_x86_64.manylinux_2_5_x86_64.whl (746.8 kB view details)

Uploaded Aug 16, 2026 CPython 3.8manylinux: glibc 2.28+ x86-64manylinux: glibc 2.5+ x86-64

crosshair_tool-0.0.110-cp38-cp38-macosx_11_0_arm64.whl (707.8 kB view details)

Uploaded Aug 16, 2026 CPython 3.8macOS 11.0+ ARM64

crosshair_tool-0.0.110-cp38-cp38-macosx_10_9_x86_64.whl (707.1 kB view details)

Uploaded Aug 16, 2026 CPython 3.8macOS 10.9+ x86-64

crosshair_tool-0.0.110-cp38-cp38-macosx_10_9_universal2.whl (718.4 kB view details)

Uploaded Aug 16, 2026 CPython 3.8macOS 10.9+ universal2 (ARM64, x86-64)

File details

Details for the file crosshair_tool-0.0.110.tar.gz.

File metadata

Download URL: crosshair_tool-0.0.110.tar.gz
Upload date: Aug 16, 2026
Size: 628.6 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for crosshair_tool-0.0.110.tar.gz
Algorithm	Hash digest
SHA256	`fc0dd25117309728bf6fe304ed6ffce906a6b6aefc6c275b5bbb6cc7186367b3`
MD5	`4ab963615c4809aecafe47dc01c95056`
BLAKE2b-256	`fb04dbe1e3769eec8ec46bbb8e1ccf7540369ef74a40e9121440bef6dec815e5`

Algorithm	Hash digest
SHA256	`a73a9ab75b1a1899b01ad74e9de382ee1f9b9e54e93b4ef39438b9b6bf64f29a`
MD5	`293a3dea537a2703457a56d63e36fd34`
BLAKE2b-256	`5683b602c6da62cef07495ca1a4e5565205c2289a79a634ebb34cfd5000bde27`

Algorithm	Hash digest
SHA256	`9f59a847bc46cb25db849999d156285298bbaa601d52922a097bab20b45e9bde`
MD5	`966c6ffe8fc3a11af3f9852177b39aac`
BLAKE2b-256	`fe6d01bc3532c919ff82b2f8a52ffed56be823c3fb182467a103747268a4aea3`

Algorithm	Hash digest
SHA256	`345d8024a47c58bd64adf2f2511bc022765bd429c783447d536cd9c8fb62e68f`
MD5	`3872774f8e9cf020ee686618bdc91921`
BLAKE2b-256	`d9e4822d9decd4eaaab97f8050f3ddd8788369389ff6e6e2b6896a083f8e4c7c`

Algorithm	Hash digest
SHA256	`72135403a82d4467ca4d53b844cfcd67aa370fd9249944b9fa3dcab1927726b3`
MD5	`2e2748304bef4a9d35d577e04cb83e3c`
BLAKE2b-256	`4f954d76ae5652a8c1d1cf7e44f6742f018da545df5c968e1ad923ce858f03dc`

Algorithm	Hash digest
SHA256	`e78e2f74ebcee7ffb36251f83e6534bd1bee6c6edeb2ccedfed9826609a23252`
MD5	`975a183f53abb20d827e8a142e58ee8a`
BLAKE2b-256	`0c4d228eaa2873efbe1bc3b2b8da9c7c014c0ced2046ca703ba6c358ba5ec2cf`

Algorithm	Hash digest
SHA256	`2a787b8aaf8790f519bfe5cbc53cbc7690811b6d6259fe122735c76e7d390140`
MD5	`012eb439ddf014d77bc8ee13407bc260`
BLAKE2b-256	`2f388182a8878c3d57c1a7c73a5c289b411e0ac4e97d1e2f2a3f13c5ce8a36ab`

Algorithm	Hash digest
SHA256	`d30ef73b792f6e0c9202db82cdb9a45005b66396c9c2e0a745bc65a8608c80d8`
MD5	`e915fe1fe8c3a168e37323b292d08bb4`
BLAKE2b-256	`37761188b519ede0c1ba42fdce400a2ba9052744bbb393afb1c503edc1682ee1`

Algorithm	Hash digest
SHA256	`15e7210121e4471ff56b67bfcfaeedf5b4265625928418752c91db89e23cfe67`
MD5	`8bd495b38ec00da64ecf9bedaea710e2`
BLAKE2b-256	`9439bdc85d4c2cad692c6d1147450018dfd30116c35d0ff43335878ab16764f0`

Algorithm	Hash digest
SHA256	`80c062f3eded710d92ab3c34a311156802d515ea36a253e264f2ea8058cbdd2d`
MD5	`9687393dc72ae615bf5e131dbc08d4ca`
BLAKE2b-256	`ebfc82567dd9189465dff03395343d6e50630da842c919d3d890903ece3bad79`

Algorithm	Hash digest
SHA256	`9e9db10ba7a2e5516cfca585e31b052528bb3361674ac7de890cffe3922243fc`
MD5	`db3eeafbc57cd23e590f532c4ac70bd2`
BLAKE2b-256	`85285c1d9a59b5b76d0f914ccb5c51763d6657e73ffe5b5e5490b6f955c5edb0`

Algorithm	Hash digest
SHA256	`e095460bc61974967f36205f90dd1d65b99c0be649ebcd9d48b6c7664fb7e207`
MD5	`672766d235fa38f53426fcc6969b184e`
BLAKE2b-256	`22225766a4aa20767d59f6e05506363830c8b923673f40d28409cf421d414f10`

Algorithm	Hash digest
SHA256	`a502d2e836600ff612d809768759760f3d1338edb2b0994e3369ec5925d3c57b`
MD5	`3d42b4885a289738bb36f20184e17b5a`
BLAKE2b-256	`45e010173b1421ff4c632e427933454fda32379bcd8a857edfd9ff4fbac36e4f`

Algorithm	Hash digest
SHA256	`e5b2ebb495b9be9a99f1f49f47d6b232c635809c6e5e53ec6d65908859f0b58d`
MD5	`91cb6abdb50ac3a5bb0f75f734a2488e`
BLAKE2b-256	`c6cd72a0db018a119a5d65e0b264ac74c1b5c9ea44939aaf3047f86f63ba1615`

Algorithm	Hash digest
SHA256	`91bdc4a4606fe9678f3819ccbf05ad8793eaf7d9601b6fa741ebcc062740ac29`
MD5	`b618440e8f1430de6b005559c95b299a`
BLAKE2b-256	`b29337a408058aef3d8b132b14ebb2154ebfd8d61a89908248a8f2ecacf97bb9`

Algorithm	Hash digest
SHA256	`22c414999188d6e60a9010a6c049aa036dd5b78d668cf4a3740af9c6687ea1e4`
MD5	`9156cbbfa1a6f4b9506b836bc7b326a7`
BLAKE2b-256	`5ad13c0ea57a93dc1acf52193ebc1e1cb6fcefe1bcfb664c0aae3da9bb2842f2`

Algorithm	Hash digest
SHA256	`6f6a20d060cb357b40cc38f1c11391de0571a7fe7982c824969528b88d968d22`
MD5	`40f21c93ef8a1cd5c88c49be7cec0ea2`
BLAKE2b-256	`f30a3cbbf601fdc78c62267fa15743c89b1144b2e71aa1abb357deb2ea93ff51`

Algorithm	Hash digest
SHA256	`9128f52a8b630fc95dd0eccf140f9d947df8f2590716c664a23fa01291216cbc`
MD5	`bf2ab55e23415090280d99ce5bd9c6a8`
BLAKE2b-256	`5843852896ce64fb1a88958433b6c91ef9423790a6e7d9b2d349145827abaf93`

Algorithm	Hash digest
SHA256	`dad308590784f8747303463a054ee621137de84b24486cd458739eba11bcefe8`
MD5	`9d99c08a8e2555eb682c897298cc82ea`
BLAKE2b-256	`f8e5f56a7ab7b8919502c73bc5b6c7e00cd680c5af874f77d42314ab56f3b8ac`

Algorithm	Hash digest
SHA256	`15e21c550e2e8afa392f6140e0630aebdc26491bc6a7fe2926f58a4025c09884`
MD5	`ae890ffe21500a8380e6d877d1a2dcc4`
BLAKE2b-256	`321063367081764838bf5cccdfe97014e3bc09bf45a2e1f32b7ac2126a540d85`

Algorithm	Hash digest
SHA256	`bdda9eb1cb3132bb44ed16a83631a43af595f8a14e5979744519d650f5eae192`
MD5	`1587d0d7114abdbb8036c824cef6a0f6`
BLAKE2b-256	`84240d1a30a9d06ae4943780a62799dd0eb660e7959f5a6c5478c790d2729149`

crosshair-tool 0.0.110

CrossHair

Documentation

Project links

Key dates

1 maintainer

Credits

GitHub Statistics

License

Requires

Provides Extra

Classifiers

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

Algorithm	Hash digest
SHA256	`ef608793a590899e2dc627b5fe9f180a417bf7075380dff697aa6773cbe263d7`
MD5	`5b86adfd26b4c1022ae5b884a5d5a505`
BLAKE2b-256	`fb37dbd9d05fc298269fb475ab7973ecd48acb711058101f17e01f4594b617f8`

Algorithm	Hash digest
SHA256	`8e638cfbb3b83044d905c093285a874b52f47e53d33504d786dd1165be492a3c`
MD5	`2dc63b0e1b04e87172886873492b0dfd`
BLAKE2b-256	`99411b63abfcf235e6b62ae431a4af5838fc5e8cf3fbc14e9066d348425980f4`

Algorithm	Hash digest
SHA256	`515261229ffa1aea661bd5063e09ba4b14641c6cc9390f086cb3dec3d4f1edf3`
MD5	`7cd09737fc024157860858d9d98d240e`
BLAKE2b-256	`7c6f5fe7d35b2786ab98962f9af84910c5ec6b6b596bdbaed247a7ace940af5e`

Algorithm	Hash digest
SHA256	`1adeeec20875540733b1b27d742f8b4afad0329d301c1ffc4e45642e642d5546`
MD5	`1dca56ced5f611826999cff83894f4c2`
BLAKE2b-256	`b1728a3385c6a9d2fcba0c0aa74b8f42e0fd65f8c6885d45bd5cb3f2445ab114`

Algorithm	Hash digest
SHA256	`5f5a93ef928e61fc5178f2f221e7b06908a949461161e20a738210ecb063d85d`
MD5	`ad511849cfca230ee4cb55303f208e03`
BLAKE2b-256	`d079e6309447cd69d68c7a5a2d7dcad6ec4fee0b016543663640ff41ba6ef14a`

Algorithm	Hash digest
SHA256	`0bed85e08ef9180fd9567fa387851bfb43a02c8f35030d5f8f01e61fde95934f`
MD5	`24b92cf063fb2e96bf3a924a8192c694`
BLAKE2b-256	`433f691f3c9ca43d0dc848e08b26736b3e85cf513bebdd1b00fe01ef40ddcc46`

Algorithm	Hash digest
SHA256	`56a8f098361d887812998c553a69379d3659633ef2467ebcdc4227c7ab13e437`
MD5	`8ed6f565af371732d992a645284e835e`
BLAKE2b-256	`854dbb62191cb81acbf7a37cd8604ab75e864d84c207d56733bcb068c91a1038`

Algorithm	Hash digest
SHA256	`2bd0b8837404b0ff1b35f7a02ba8e3cc33fc0bbb0fe77c87f614b173e058ab0f`
MD5	`cb6b2916dac9589a811f2e59c1141631`
BLAKE2b-256	`2014fa608234eb37424e078ab8b6240195711ba6f75730e2af335e215aea8719`

Algorithm	Hash digest
SHA256	`18f72ee1fa7994fc01bd11a9358dd31c7e406d1358fa5517d80ee560efe50841`
MD5	`7b3f7ea144cb09cbf8bacebca7ad7507`
BLAKE2b-256	`2129055eeedb4579f0ef00c46ef6e5d305635647594f8bcc442b6f465c3707ec`

Algorithm	Hash digest
SHA256	`29afb2ee069be587742f1195891f3d97b50923af07b6a92c86458b1998680387`
MD5	`5019cb733beeae7e376086fa23c76926`
BLAKE2b-256	`429338da570c3da093d5ba6faed257c2fe42ae4a317f5cc73ab4de43b67a9b6d`