Open pschanely opened 8 months ago
Exciting progress so far! https://crosshair.readthedocs.io/en/latest/changelog.html#version-0-0-52
Lots of good crosshair-side fixes have now been released based on this evaluation. (no hypothesis-jsonschema bugs, yet, though!)
The tests largely will run with the crosshair backend though, at least when run independently. Some of the tests here are complex enough that it's revealing memory leaks, and exhaust the memory on my machine. (possibly just less aggressive versions of the leaks noted in the z3 upgrade issue) I might try to dig into this next.
Let's see what works and what doesn't!