mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-16 07:58:04 +00:00
13 lines
542 B
Plaintext
13 lines
542 B
Plaintext
QuickCheck is a library for random testing of program properties.
|
|
|
|
The programmer provides a specification of the program, in the form of
|
|
properties which functions should satisfy, and QuickCheck then tests
|
|
that the properties hold in a large number of randomly generated cases.
|
|
|
|
Specifications are expressed in Haskell, using combinators defined in
|
|
the QuickCheck library. QuickCheck provides combinators to define
|
|
properties, observe the distribution of test data, and define test data
|
|
generators.
|
|
|
|
WWW: http://code.haskell.org/QuickCheck
|