[Haskell-cafe] Quickcheck research

Jacques Carette carette at mcmaster.ca
Tue Nov 22 19:36:44 CET 2011

On 22/11/2011 12:42 PM, wren ng thornton wrote:
> Something I think would be nice is to see full integration between 
> SmallCheck and QuickCheck. In particular, I'd like to use SmallCheck 
> to exhaustively search the small cases, and then use QuickCheck in a 
> way that ensures that it only tests on things larger than the ones 
> which have already been tested.

Actually, (Gordon Uszkay and I) have already done that.  We are hoping 
to make a release of this in November.


More information about the Haskell-Cafe mailing list