Better counterexample minimization

Links
1

QuickCheck’s docs advise to implementing shrinking for tree-like data types the wrong way. This post explains how to do it better:

10 Likes