QuickCheck

From HaskellWiki
Revision as of 18:28, 16 January 2017 by Henk-Jan van Tuyl (talk | contribs) (Added section "Blog articles" with a link to "The Design and Use of QuickCheck]", category "Testing" and section "Further reading"; changed command for fetching the QuickCheck source)

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

QuickCheck is a library for random testing of program properties.

The latest version is under version control

$ git clone https://github.com/nick8325/quickcheck

There are many variants of QuickCheck

  • Original QuickCheck
  • QuickCheck2 - includes shrink and other extensions
  • SmallCheck - systematic testing upto a specific depth
  • Lazy SmallCheck - SmallCheck with _|_ in data-structures

Blog articles

Further reading

See the list at Introduction to QuickCheck