NOTICE: This package has been removed from pkgsrc

./wip/QuickCheck, Automatic testing of Haskell programs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]

Branch: CURRENT, Version: 2.1.0.1nb1, Package name: QuickCheck-2.1.0.1nb1, Maintainer: pho

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.


Required to run:
[devel/gmp]

Required to build:
[lang/ghc] [wip/hs-mtl]

Master sites:

SHA1: 1fd79a1dabaf3a0e86ddc6988067d393aa7da4fc
RMD160: 04941d49d02cb25bcfb83cfd82e46b0fea5e45d3
Filesize: 17.066 KB

Version history: (Expand)

CVS history: (Expand)


   2009-09-23 07:43:06 by PHO / phonohawk | Files touched by this commit (6) | Package removed
Log message:
Moved wip/QuickCheck to wip/hs-QuickCheck
   2009-03-20 20:43:38 by Jörg Sonnenberger | Files touched by this commit (284) 
Log message:
Convert buildlink3.mk files to new world order.
   2009-02-10 08:17:48 by PHO / phonohawk | Files touched by this commit (2) 
Log message:
QuickCheck-2.1.0.1nb1: added profiling library to PLIST
   2009-01-29 10:52:47 by PHO / phonohawk | Files touched by this commit (6) | Imported package
Log message:
Import QuickCheck-2.1.0.1 as wip/QuickCheck.

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.