QuickCheck
(Redirected from Quickcheck)
Jump to navigation
Jump to 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