Phillip Schanely

Thank you for the bounty, @amacfie! To make the task a little more concrete, the logic in [this function](https://github.com/pschanely/CrossHair/blob/520ed990a370eb916cae9a7c688cbd0119ac03e3/crosshair/tracers.py#L248) is, more or less, what we'd want to implement at the...

> Does CrossHair use information from assertions for interprocedural analysis? It's complicated! CrossHair does interprocedural analysis in two ways: One of those (the most common way) is that it simply...

One very minor update related to this issue: CrossHair presently checks any function that has a precondition (or a leading assert in `--analysis_kind=asserts` mode), effectively looking for exceptions/assertions in those...

Many tests are in pytest now, and we're preferring pytest for new tests. pytest also runs unittest tests, so we're not (yet) aggressively converting old tests.

We have a lot of tests still using unittest. If you're looking for a straightforward way to get involved in CrossHair, converting some *_test.py files to pytest might be a...

This so cool. Let me know how I can help. Starting out with it integrated on the CrossHair side makes sense to me, as it's far more experimental anyway. CrossHair...

> That's likely to consist of me pinging you for code review + advice on how to evaluate it in a few weeks-months, once the basics are working. Great; reach...

@JinghanCode and @Zac-HD : how did this investigation go? Looks like you got somewhere with it, and I am very curious about your overall findings!

Note: a very basic and slow integration now exists (see [this post about it](https://pschanely.github.io/2021/08/25/hypothesis-crosshair-integration.html))! Try it out with `crosshair watch --analysis_kind=hypothesis ` The next steps to make this more effective...

Greetings @nicpayne713! So precommit.py was also a contribution - it was a massive improvement over the prior setup which was, essentially, no precommit process at all. Note that we do...