Phillip Schanely
Phillip Schanely
**Expected vs actual behavior** We'd expect a counterexample in this case, but not the one we get: example: ``` from typing import Sequence def try_index(dd: Sequence[int], idx=0) -> None: """...
Noted in #187: Hello, I was digging into this trying to isolate the problem that part of the problem might be how the 'in' operator is mapped to z3. Crosshair...
Noted by @petrusboniatus in https://github.com/pschanely/CrossHair/discussions/187#discussioncomment-4209603_ > One thing that came as a shock to me is that without precomputing the hash outside the function it does not end ... If...
As shown in [this example](https://crosshair-web.org/?crosshair=0.1&python=3.8&gist=07624978bddb0c5a8135ab177ed72c44), extending native types (that CrossHair cares about) doesn't work as expected. I suspect there may be multiple layers of problems, the first of which is...
Are you a Hacktoberfest contributor? Or want to be? A [variety of no-code and low-code contributions](https://hacktoberfest.com/about/#low-or-non-code) count; like blog posts! Perhaps while you're working on some Python (maybe for another...
Our current version issues a deprecation warning. Noticed [here](https://github.com/HypothesisWorks/hypothesis/issues/3914). IIRC, the only blocker here is that, under our current config, Z3 performs significantly worse in our benchmarks. I imagine this...
It would be great to let the user pick their own smtlib backend, but right now we are pretty heavily dependant on the z3 Python API. The Z3 python API...
**Is your feature request related to a problem? Please describe.** CrossHair doesn't have amazing performance on the "How not to sort by a partial order" hypothesis example, [here](https://hypothesis.readthedocs.io/en/latest/examples.html). (using the...
We should be able to get through code like the code referenced in #243 by realizing inputs early. For some reason, the existing logic for premature realization isn't helping. Let's...
First, I am very excited that this thing exists - thanks! I can't seem to find autowheel on PyPI, though. Does a package exist? ``` $ pip install autowheel ERROR:...