Personal tools

QuickCheck

From HaskellWiki

Revision as of 18:02, 23 July 2008 by AndyGill (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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