PropertyAttribute: Search for Arb override on the module level too

Avoids having to set Arbitrary on each PropertyAttribute

Id #16799 | Release: None | Updated: Jun 18, 2013 at 3:30 AM by kurt2001 | Created: Mar 21, 2013 at 2:23 PM by kurt2001

Add possibility to run with seed to PropertyAttribute

So users can just copy-paste the printed seed into the attribute and run with that

Id #16798 | Release: None | Updated: Jun 18, 2013 at 3:30 AM by kurt2001 | Created: Mar 21, 2013 at 2:22 PM by kurt2001

Support generation of arbitrary Decimal values

FSCheck.Arb.Default is missing the Arbitrary<Decimal> member.

Id #16797 | Release: None | Updated: Jun 18, 2013 at 3:30 AM by kurt2001 | Created: Jan 2, 2013 at 7:15 AM by empeak

FsCheck crashes with VS2012

because you use the FSharp 2.0 Runtime version of the FSharp.Core.dll the lib will not work in a project compiled with VS2012 (projects created in VS2012 will use the 3.0 Runtime version) You sho...

Id #16795 | Release: None | Updated: Aug 12, 2012 at 9:23 PM by kurt2001 | Created: Jul 18, 2012 at 8:32 AM by CKoenig

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 9:44 AM by kurt2001 | Created: Jun 15, 2010 at 9: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 9:42 AM by kurt2001 | Created: Jun 15, 2010 at 9: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 9:50 AM by kurt2001 | Created: May 29, 2009 at 7: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 4:56 PM by kurt2001 | Created: Dec 23, 2008 at 4: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 12:20 PM by kurt2001 | Created: Dec 4, 2008 at 12:12 PM 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: Jun 21, 2012 at 2:22 AM by kurt2001 | Created: Dec 4, 2008 at 12:08 PM by kurt2001