@hackage lazysmallcheck0.6
A library for demand-driven testing of Haskell programs
Installation
Dependencies (1)
Dependents (12)
@hackage/minesweeper, @hackage/smartcheck, @hackage/JYU-Utils, @hackage/acme-everything, @hackage/rivers, @hackage/peano-inf, Show all…
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.