The lazysmallcheck package
Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to `eager' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.
|Versions||0.1, 0.2, 0.3, 0.4, 0.5, 0.6|
|Author||Matthew Naylor and Fredrik Lindblad|
|Maintainer||Matthew Naylor <firstname.lastname@example.org>|
|Upload date||Mon Aug 29 08:02:01 UTC 2011|
|Distributions||Fedora: 0.6, NixOS: 0.6, Debian: 0.6, FreeBSD: 0.6|