A new user interface for you! Read more...

QuickCheck 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.

Refresh
Refresh
Source Files (show merged sources derived from linked package)
Filename Size Changed Actions
QuickCheck-2.13.2.tar.gz 0000070427 68.8 KB 22 days
ghc-QuickCheck.changes 0000015914 15.5 KB 22 days
ghc-QuickCheck.spec 0000003481 3.4 KB 22 days
Comments for ghc-QuickCheck 1

Repo Checker

repo-checker wrote over 1 year ago

The version of this package in openSUSE:Leap:15.0 has installation issues and may not be installable:

can't install ghc-QuickCheck-devel-2.9.2-lp150.1.4.x86_64:
  package ghc-compiler-8.0.2-lp150.1.10.x86_64 requires gcc, but none of the providers can be installed
  package ghc-QuickCheck-devel-2.9.2-lp150.1.4.x86_64 requires ghc-compiler = 8.0.2, but none of the providers can be installed
  package gcc-7-lp150.1.27.x86_64 requires gcc7, but none of the providers can be installed
  nothing provides libmpfr.so.4()(64bit) needed by gcc7-7.3.0+r257042-lp150.1.3.x86_64