smallcheck (hackage): As of 2023, this library is largely obsolete: arbitrary test generators with shrinking such as falsify offer much better user experience.  SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.
Keywords: bsd3|library|testing|property-based-testing|property-testing|smallcheck