Description
Provides QuickCheck for automatic testing of Haskell programs. Developers describe properties that should always hold, and QuickCheck generates many test inputs to search for counterexamples.
It is useful for libraries, parsers, algorithms, data structures, and any code where broad input coverage matters. It is a testing library and runs through project test suites.