search

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.
Other
1.04k stars 49 forks source link

Save Hypothesis buffer to database #185

Closed Zac-HD closed 2 years ago

Zac-HD commented 2 years ago

Seamless handoff between symbolic and concrete tooling 🤩

pschanely commented 2 years ago

One quick Q: is 6.0.0 the right minimum version given the shenanigans we're pulling? I bail out if hypothesis is requested, and the version is too old: https://github.com/pschanely/CrossHair/blob/5f797f675bd161611baf33146a65dc7ed0e1aeae/crosshair/main.py#L83

Oh, and add yourself to contributors if you'd like! https://github.com/pschanely/CrossHair/blob/main/doc/source/contributing.rst

Zac-HD commented 2 years ago

Yep, 6.0 is a reasonable lower bound - the specific internals we're using go back a fair bit further, but you'd start to run into other interoperability problems and I'd rather not encourage that. Hypothesis explicitly only supports our most recent release!

Probably also worth noting this as progress on #45!