Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
QuickCheck is a library for random testing of program properties.
- Introduction to QuickCheck
- QuickCheck as a test set generator
- QuickCheck / GADT
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