2 Oct
2004
2 Oct
'04
2:47 p.m.
Can someone remind me how to change the number of tests that QuickCheck performs? I'm sure I knew how to do this but I can't find it in the documentation and a web search revealed no examples. Thanks, Dominic.