|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 sparc; no source changes. * Rebuild against ghc 7.4.1-2 -- sparc Build Daemon (schroeder) <email@example.com> Mon, 12 Mar 2012 05:54:50 +0000 haskell-smallcheck (0.6-1) unstable; urgency=low * New upstream release -- Joachim Breitner <firstname.lastname@example.org> Sat, 04 Feb 2012 12: 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»