[Haskell-cafe] Debugging
Jules Bean
jules at jellybean.co.uk
Thu May 10 05:35:34 EDT 2007
Joel Reymont wrote:
>
> On May 10, 2007, at 10:19 AM, Jules Bean wrote:
>
>> The 'next step' is to move from testing by hand in ghci to writing
>> quickcheck properties / smallcheck / unit tests for the functions.
>
> I still don't understand the difference between QC and SC. Would
> someone kindly explain and provide an example or two of when SC should
> be used?
The most important difference is that:
QC checks 'a random selection' of possible parameter values.
SC checks 'every possible' in some methodical way, stopping at a certain
depth for recursive structures.
More information about the Haskell-Cafe
mailing list