Package search
crosshair-tool
- Summary: Analyze Python code for correctness using symbolic execution.
- Author: Phillip Schanely
- Homepage: https://github.com/pschanely/CrossHair
- Source: https://github.com/pschanely/CrossHair
- Number of releases: 86
- First release: 0.0.1 on 2020-02-09T20:45:00
- Latest release: 0.0.86 on 2025-04-09T16:22:05
| Dependency | Optional |
|---|---|
| importlib_metadata | false |
| packaging | false |
| pygls | false |
| typeshed-client | false |
| typing_extensions | false |
| typing-inspect | false |
| z3-solver | false |
| autodocsumm | true |
| black | true |
| deal | true |
| icontract | true |
| isort | true |
| mypy | true |
| numpy | true |
| pre-commit | true |
| pytest | true |
| pytest-xdist | true |
| setuptools | true |
| sphinx | true |
| sphinx-rtd-theme | true |
| wheel | true |