[plt-dev] random testing, we need to do more of this

Noel Welsh <noelwelsh at gmail.com> writes:

> On Mon, Jan 25, 2010 at 8:05 AM, Michael Sperber
> <sperber at deinprogramm.de> wrote:
>> I'll point out that a quite complete port of the original QuickCheck is
>> sitting in the deinprogramm/quickcheck collection.  I wrote it for our
>> teaching languages (where feedback indicates it's a success), but it's
>> by no means restricted to that.
>
> For the sake of completeness, there is also fasttest on Planet.

Right.  But note that it's different from QuickCheck: It features a
bunch of procedures that generate random values of various types,
whereas QuickCheck is a combinator library for generators.  That comes
into play with compound generators - such as generators for procedures.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla