FsCheck
FsCheck copied to clipboard
fscheck
Random Testing for .NET
There’s a repository targeted at comparing shrinking behaviour of various PBT libraries: https://github.com/jlink/shrinking-challenge Would be great to have FsCheck therein. We’re happy to take PRs.
It would allow better integration with those who prefer `Assert`ing with their test libraries, instead of using FsCheck properties.
FsCheck's current architecture gives preferential treatment of the built-in Arbitraries in `Arb.Default`. This extends to the built-in 'signal' types, like `NonNegativeInt`, `PositiveInt`, `NonNull`, `NonEmptySet`, etc. Such 'signal' types are invaluable...
FsCheck is a great library, but AFAIK it does not do integrated shrinking as explained in [this post](http://hypothesis.works/articles/integrated-shrinking/). If this is true, then AFAIK shrinking does not necessarily satisfy the...
An idea: it could be helpful to distinguish C# code from F# code in the documentation somehow, eg. by giving it a different background colour. This would make the documentation...
When using `PropertyAttribute`, I would expect all `SetUpAttribute` and `TearDownAttribute` to be run as would be the case for `TestAttribute`. We have an attribute with a similar use-case, and does...
Currently we need to duplicate a lot of the xunit code. See #414 for more in-depth discussion.
Has anyone thought about FsCheck generic shrinking in the context of Haskell's SmartCheck? I'm fairly new to F# and not sure if similar things are possible. Thoughts?
