|File Search||Catalog||Content Search|
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used.
haskell-smallcheck (0.6-1+b1) sid; urgency=low * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild against ghc 7.4.1-2 -- amd64 Builddd Daemon (barber) <email@example.com> Sun, 11 Mar 2012 17:39:09 +0000 haskell-smallcheck (0.6-1) unstable; urgency=low * New upstream release -- Joachim Breitner <firstname.lastname@example.org> Sat, 04 Feb 2012 12:58:1 more»
This package was debianized by Clint Adams <email@example.com> on Sat, 18 Jun 2011 00:41:26 -0000 It was downloaded from http://hackage.haskell.org/package/smallcheck Upstream Authors: Colin Runciman <Colin.Runciman@cs.york.ac.uk> Copyright: Colin Runciman License: Redistribution and use in source and binary forms, with or without modification, are permitted provided that the follow more»