2
Vote

Port and integrate smallcheck

description

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.

[1]http://hackage.haskell.org/cgi-bin/hackage-scripts/package/smallcheck

comments

alex_bogomaz wrote Nov 8, 2012 at 12:53 PM

Hi
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 1:31 AM

Looks good. Have fun!