[racket] QuickCheck-like testing library?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Aug 17 09:50:22 EDT 2012

On Aug 17, 2012, at 9:23 AM, Ismael Figueroa Palet wrote:

> I have a language grammar defined with PLAI's define-type, and was wondering how to create a generator for random programs (even if they are ill-typed).


In that case, you should look at Redex's random testing facilities. For certain ideas, we use it to test Racket itself. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120817/ba1dd2a7/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20120817/ba1dd2a7/attachment-0001.p7s>

Posted on the users mailing list.