summaryrefslogtreecommitdiff
path: root/proptest-regressions
Commit message (Collapse)AuthorAge
* Switch from quickcheck to proptest.Owen Jacobson2020-06-26
The argument is as given in the proptest docs at <https://altsysrq.github.io/proptest-book/proptest/vs-quickcheck.html>. I've found that the resulting tests are somewhat clearer, and that the tools for working with test case generation are more useful. The other killer feature is recalling test failure examples from run to run. This change includes at least one bug found while testing the port! Finally, if <https://github.com/AltSysrq/proptest/issues/179> is to be believed, proptest is considerably closer to supporting async tests.