QuickCheck: Difference between revisions
(start) |
(QC Variants added) |
||
| Line 3: | Line 3: | ||
*[[QuickCheck as a test set generator]] | *[[QuickCheck as a test set generator]] | ||
*[[QuickCheck / GADT]] | *[[QuickCheck / GADT]] | ||
The latest version is under version control | |||
$ darcs get http://code.haskell.org/QuickCheck | $ darcs get http://code.haskell.org/QuickCheck | ||
There are many variants of QuickCheck | |||
* Original QuickCheck - shipped with GHC | |||
* QuickCheck2 - from code.haskell.org, includes shrink and other extensions | |||
* SmallCheck - systematic testing upto a specific depth | |||
* Lazy SmallCheck - SmallCheck with _|_ in data-structures | |||
Revision as of 18:02, 23 July 2008
The latest version is under version control
$ darcs get http://code.haskell.org/QuickCheck
There are many variants of QuickCheck
- Original QuickCheck - shipped with GHC
- QuickCheck2 - from code.haskell.org, includes shrink and other extensions
- SmallCheck - systematic testing upto a specific depth
- Lazy SmallCheck - SmallCheck with _|_ in data-structures