Difference between revisions of "QuickCheck"
Jump to navigation
Jump to search
(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