Personal tools

QuickCheck

From HaskellWiki

(Difference between revisions)
Jump to: navigation, 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

Latest 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