QuickCheck
From HaskellWiki
(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 | ||
Current revision
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
