Better counterexample minimization

effectfully June 27, 2025, 1:25am 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

Topic		Replies	Views
The sad state of property-based testing libraries Links	19	2724	July 8, 2024
Looking for Haskell test cases Links	3	566	November 22, 2021
Call for Sponsors: First-class Liquid Haskell Announcements	7	2731	July 16, 2023
R/haskell - Was simplified subsumption worth it for industry Haskell Learn	26	3197	May 11, 2022
Counting Words, but can we go faster? Show and Tell	30	3560	August 10, 2022