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