You’ve probably heard that "testing can be used to show the presence of bugs, but never to show their absence" - usually as an argument for formal methods like symbolic execution. On the other hand, testing is often easier and finds bugs in formally verified systems too. But why not use both?
Crosshair is an SMT-based symbolic execution tool for Python. Providing an interface or extension to check Hypothesis