|File Search||Catalog||Content Search|
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.
haskell-lazysmallcheck (0.6-1+b1) sid; urgency=low * Binary-only non-maintainer upload for mips; no source changes. * Rebuild against ghc 7.4.1-2 -- mips Build Daemon (corelli) <email@example.com> Wed, 14 Mar 2012 01:25:58 +0000 haskell-lazysmallcheck (0.6-1) unstable; urgency=low * New upstream release -- Joachim Breitner <firstname.lastname@example.org> Sat, 04 Feb 2012 1 more»
This package was debianised by Kari Pahula <email@example.com> on Fri, 10 Jul 2009. All of the Debian packaging scripts are released into the public domain. It was downloaded from http://hackage.haskell.org/package/lazysmallcheck Upstream Author: Matthew Naylor Copyright Matthew Naylor 2006-2008. Redistribution and use in source and binary forms, with or without modification, are permitted provi more»