Description
Provides SmallCheck, a property-based testing library for Haskell. It systematically explores small input values to find counterexamples to properties defined by the developer.
It is useful for testing algorithms, data structures, parsers, and edge cases where exhaustive small checks are valuable. It is a development library used by automated test suites.