Get the latest tech news
The sad state of property-based testing libraries
Property-based testing is a rare example of academic research that has made it to the mainstream in less than 30 years. Under the slogan “don’t write tests, generate them” property-based testing has gained support from a diverse group of programming language communities.
The experience reports, that we’ve mentioned above, usually contain some novelty (which warrants publishing a new paper) rather than general advice which can be done with the vanilla stateful and parallel testing features. Notice that this is indeed the smallest counterexample and how it took 66 randomly generated test cases to find the sequence of inputs that triggered the bug and then 29 shrink steps for QuickCheck to minimise it. I’d like to thank Daniel Gustafsson for helping implement the quickcheck-state-machine library with me seven years ago, discussing a fix for parallel commands generation issue that I found while writing this post, and for proofreading.
Or read this on Hacker News
