[Haskell-cafe] Quickcheck research
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