QuickCheck library for random testing of program properties

Edit Package ghc-QuickCheck

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.

Refresh
ghc-QuickCheck
x86_64
aarch64
x86_64
aarch64
ppc64le
riscv64
blocked
s390x
scheduled
x86_64
Refresh


Source Files (show merged sources derived from linked package)
Comments 0
No comments available
openSUSE Build Service is sponsored by