[Haskell-cafe] Quickcheck research

[Jacques Carette]

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.

Jacques