Phillip Schanely

Right now, CrossHair doesn't behave well if you consume an iterator or generator inside a condition: - Doing so on a precondition leaves the input empty for the function body...

This is a tracking issue that we will likely never mark resolved. Much of the data types in the Python standard library is implemented in C; such implementations cannot use...

`typed_dict_keys` fails to return data on 3.10

1

I presume this issue has something to do with `typing_extensions`, but not exactly sure how. ``` $ pip install typing-inspect==0.8.0 $ python Python 3.10.8 (main, Dec 11 2022, 10:51:27) [Clang...

Internal to CrossHair, all isinstance checks when guarded by NoTracing should invoke [typeable_value](https://github.com/pschanely/CrossHair/blob/d1015067ca3232ab282164c741eb66f495ea707a/crosshair/libimpl/builtinslib.py#L153) beforehand. #235 is one example of this kind of issue, but there are likely many more. We...

One big gotcha with CrossHair and floats: For performance reasons CrossHair approximates floating point behavior using true (arbitrary precision) real numbers. Z3 is technically capable of doing floating-point-accurate symbolic execution....

Currently, CrossHair will fail with this error: ``` % crosshair -h Traceback (most recent call last): File "/Users/phillipschanely/.pyenv/versions/3.12.0b2/bin/crosshair", line 5, in from crosshair.main import main File "/Users/phillipschanely/proj/CrossHair/crosshair/main.py", line 60, in...

This is just an oversight from the original implementation. If you specify a separator, CrossHair reasons about the split reasonably well; but Python's zero-arg form of split is quite different,...

See the [Python 3.11 release notes](https://docs.python.org/3/whatsnew/3.11.html#re)

**Is your feature request related to a problem? Please describe.** If you try to kill CrossHair early with a Ctrl-C, and it happens to be in the middle of running...