Add more generators

int64, sbyte, int16, TimeSpan, etc

Id #16794 | Release: None | Updated: Aug 2 2011 at 3:08 PM by kurt2001 | Created: Aug 2 2011 at 3:08 PM by kurt2001

Add Check.Method overload for checking instance methods

The target of the reflective invoke is always null atm. There is no way to pass in the instance, which would be useful for calls from test runners and unit testing frameworks.

Id #16789 | Release: None | Updated: Jun 9 2011 at 3:39 PM by kurt2001 | Created: Jun 9 2011 at 3:39 PM by kurt2001

Shrink is not quite lazy enough

Shrinker asks for the sequence of immediate shrinks when not shrinking (it does not ask for any elements, but the sequence gets constructed nonetheless)

Id #16787 | Release: None | Updated: Jun 15 2010 at 8:44 AM by kurt2001 | Created: Jun 15 2010 at 8:44 AM by kurt2001

Expose the seed that can be used to rerun just the failing test case

in one of the IRunner methods.

Id #16786 | Release: None | Updated: Jun 15 2010 at 8:42 AM by kurt2001 | Created: Jun 15 2010 at 8:42 AM by kurt2001

Allow customization of counter-example output

Some open extensibility mechanism for customizing FsCheck's output of generated values is needed, e.g. for cases where ToString or StructuredFormat are not available or used for something else. Pos...

Id #13370 | Release: None | Updated: Jun 1 2009 at 8:50 AM by kurt2001 | Created: May 29 2009 at 6:30 AM by kurt2001

Disposing of generated values

Some generated values need to be disposed after each test, some cannot be disposed, some need to be disposed at the end of all tests. Come up with some mechanism to support this. Probably a generat...

Id #12199 | Release: None | Updated: Dec 23 2008 at 3:56 PM by kurt2001 | Created: Dec 23 2008 at 3:56 PM by kurt2001

Memoize generated values and guarantee uniqueness

A property that succeeds for a certain value should not be run again for that value (or should it?). Maybe this could be optional by providing a new property combinator 'unique' which guarantees th...

Id #11863 | Release: None | Updated: Dec 4 2008 at 11:20 AM by kurt2001 | Created: Dec 4 2008 at 11:12 AM by kurt2001

Parallel execution of tests

FsCheck test runs should be fairly easily parallelizable. Add a configuration parameter that indicates the desired number of tasks t to split in, and then just split the required number of test cas...

Id #11862 | Release: None | Updated: Jan 12 at 3:58 PM by mausch | Created: Dec 4 2008 at 11:08 AM by kurt2001

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. ...

Id #11859 | Release: None | Updated: Dec 4 2008 at 11:02 AM by kurt2001 | Created: Dec 4 2008 at 11:02 AM by kurt2001

  • 1-9 of 9 Work Items
    • Previous
    • 1
    • Next
    • Showing
    • All
    • Work Items