<package name="ghc-QuickCheck" project="SUSE:SLE-15-SP5:Update">

  <title>QuickCheck library for random testing of program properties</title>

  <description>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. </description>

</package>

​