Better counterexample minimization

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