Yep! And it's also possible to run fuzzers [1, 2] or SAT-based verifiers against the same test harness :-) 1: https://hypofuzz.com/docs/literature.html https:

Yep! And it's also possible to run fuzzers [1, 2] or SAT-based verifiers against the same test harness :-) 1: https://hypofuzz.com/docs/literature.html https://hypofuzz.com/docs/literature.html 2: https://google.github.io/oss-fuzz/getting-started/new-project-guide/python-lang/#hypothesis https://google.github.io/oss-fuzz/getting-started/new-projec...