pschanely / CrossHair

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

pschanely/CrossHair Issues

`repr(collections.namedtuple)` errors
Updated 24 days ago1
CrosshairInternal error on simple example
Closed a month ago4
Update Z3 version
Closed a month ago2
Confusing findings for dictionary constructors
Closed 4 months ago5
Add support for NewType
Closed 4 months ago3
Can I use a seed to start exploration when using cover command?
Closed 4 months ago1
Implement pluggable smtlib2 backends
Updated 4 months ago
Support Python 3.12
Closed 4 months ago1
Heuristics for lengths of sequence-like symbolics
Updated 5 months ago
Unexpectedly long run times on a short example containing floats
Closed 5 months ago2
cover command error: (AttributeError("'AlgebraicNumRef' object has no attribute 'as_fraction'")
Closed 5 months ago2
Improve premature realization heuristics
Updated 5 months ago
Unexpected checking results for functions with/without type annotations
Updated 6 months ago4
CrosshairInternal error raised when attempting to use symbolic integer as a function
Closed 6 months ago1
Generic objects, when realized to strings, raise TypeError on concatenation.
Closed 6 months ago
Ensure all isinstance checks account for undecided types
Updated 6 months ago
Implement true floating point semantics
Updated 8 months ago
Support correct and compilable representation of enum values in the cover/pytest mode
Closed 8 months ago7
Produce the correct import statements for pytest output on cover command
Closed 8 months ago1
CrossHair is missing symbolic support for `str.split` without arguments
Updated 9 months ago
Better error message when a file can't be imported
Closed 9 months ago1
Support pytest.raises Assertion / Exception match parameter when there is a message in exception
Closed 9 months ago1
Some easy cases cannot be solved
Closed a year ago6
Support atomic grouping and possessive quantifiers
Updated a year ago
Do not treat KeyboardInterrupt as an exception in code-under-analysis
Updated a year ago
Check __return__ is not None
Closed a year ago
Support annotated-types
Updated a year ago1
Unexpected counterexample when indexing a symbolic sequence by a object of unknown type
Updated a year ago
Neovim LSP Support
Updated a year ago5
"watch""check" return nothing
Updated a year ago6
User code can accidentally catch CrossHair's timeout exception
Closed a year ago1
Header files are missing from sdist
Closed a year ago1
Generated test suite with cover option contains failing tests
Updated 2 years ago5
Any class with an attribute called "typ" returns an error upon creation
Closed 2 years ago2
`None` in `max` and `min` goes undetected
Updated 2 years ago1
Re-investigate string and sequence solvers
Updated 2 years ago7
Add symbolic support for `not`
Updated 2 years ago1
Do not attempt to short-circuit calls with concrete arguments
Updated 2 years ago
Extending native types doesn't work as expected
Updated 2 years ago2
Unable to build/install latest release of CrossHair-0.0.32 on Windows
Closed 2 years ago3
Pretty printing object instances (counter examples)
Updated 2 years ago7
Independent blog posts about CrossHair
Updated 2 years ago3
Cover command only finds one input for recursive function
Closed 2 years ago1
Higher-order function is not covered by `crosshair cover`
Closed 2 years ago1
Importing spacy fails
Closed 2 years ago7
AssertionError Raised when Running Example
Closed 2 years ago4
Handle revamped invocation opcodes in Python 3.11
Updated 2 years ago1
Readthedocs is missing changelogs for 0.0.24 and 0.0.25
Closed 2 years ago3
Contract enforcement of calls with *a/**kw on windows does not happen.
Updated 2 years ago
SideEffect detection too strict ?
Closed 2 years ago3