Port and integrate smallcheck


Smallcheck [1] is another testing framework for Haskell, that generates an exhaustive combination of values for properties. It may be possible to integrate this exhaustive generation with FsCheck. For example, it could be used to generate the "smallest" value for which a property fails, by first testing randomly and moving to exhaustive testing if a test fails. And it may be useful for some niche scenarios where the number of combinations is very small anyway.



alex_bogomaz wrote Nov 8, 2012 at 11:53 AM

I've recently started porting SmallCheck to F#.
You may check out http://smallcheck.codeplex.com for more details.

kurt2001 wrote Nov 9, 2012 at 12:31 AM

Looks good. Have fun!