Phillip Schanely
Phillip Schanely
Much of this is now implemented, but there are two more valuable changes: (1) We should port [the many different ways to do a stack read and write](https://github.com/pschanely/CrossHair/blob/9d8bceb4ff8d93afc644a7ad98a6a956493ec07d/crosshair/tracers.py#L33) to C....
Note: here is an example where we'd like to be able to find the counterexample: https://crosshair-web.org/?crosshair=0.1&python=3.8&gist=79cb9a330f194e444a7c64c727fed781 This **might** be an appropriate hacktoberfest issue for someone that already knows about CPython...
An implementation for this is in 340c66907834f95af92c47a75d2b7745d1d867b3! Will close this out when it's released.
Note to self/others: [this is a great Z3 discussion](https://github.com/Z3Prover/z3/discussions/6717#discussioncomment-5870776) about mixed integer and bitvector operations, and matches my experience. By chance, CrossHair actually does do some of the keep-things-in-the-integer world...
Super exciting. I've been working on a variety of compatibility issues since last week; I'm making good progress, but there are still things to investigate. I see now how you're...
Sounds good on not thinking about (3) yet. I took a little time to try and write something that would connect up with your [provider-plugins](https://github.com/HypothesisWorks/hypothesis/compare/master...Zac-HD:hypothesis:provider-plugins) branch, [here](https://github.com/pschanely/hypothesis-crosshair). Ready to work...
Some small updates on my end: 1. [Updated](https://github.com/pschanely/hypothesis-crosshair/commit/52039907c6b46f691f06e35f608cb3fe83a8d9ad) my intergration code to line up with this branch. 2. [Updated](https://github.com/pschanely/hypothesis-crosshair/commit/25e21f04f4365b50be25e66ab52a253efbdf25e6) the string generation to no longer pre-maturely realize the length of...
Sorry - I'm not sure whether I understand; did you already resolve your issue, or no? A few quick notes from your screenshot: 1. in the postcondition, `return` should be...
OH! You caught an interesting kind of bug. Essentially, crosshair needs to import your code a module under some name; in your case that module will be named "crosshair" which...
Thank you for this issue and detailed repro code! I am having a little trouble getting your results immediately on my mac; looks like you're on Windows, correct? And which...