[Haskell-cafe] Debugging

[Jules Bean]

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.