FsCheck 2.15.3
FsCheck is a tool for testing .NET programs automatically. You provide a specification of the program, in the form of properties which functions, methods or objects should satisfy, and FsCheck then tests that the properties hold in a large number of randomly generated cases. Such properties are actually a testable specification of your program.
Properties are written in F#, C# or VB. FsCheck helps you to define properties, observe the distribution of test data, and define test data generators. Crucially, when a property fails, FsCheck automatically displays a minimal counter example.
No packages depend on FsCheck.
Allow shrinking private unions. (by Sander van Dijk) Limit total number of shrink attempts to 5000, to avoid infinite loops in general, and in particular if an argument is mutated in the test.
.NET Framework 4.5.2
- FSharp.Core (>= 4.2.3)
.NET Standard 1.6
- FSharp.Core (>= 4.2.3)
.NET Standard 2.0
- FSharp.Core (>= 4.2.3)
.NET Standard 1.0
- FSharp.Core (>= 4.0.0.1)
| Version | Downloads | Last updated |
|---|---|---|
| 3.3.3 | 2 | 05/26/2026 |
| 3.3.2 | 2 | 05/26/2026 |
| 3.3.1 | 2 | 05/26/2026 |
| 3.3.0 | 2 | 05/26/2026 |
| 3.2.0 | 2 | 05/26/2026 |
| 3.1.0 | 2 | 05/26/2026 |
| 3.0.1 | 2 | 05/26/2026 |
| 3.0.0 | 2 | 05/26/2026 |
| 3.0.0-rc3 | 2 | 05/26/2026 |
| 3.0.0-rc2 | 2 | 05/26/2026 |
| 3.0.0-rc1 | 2 | 05/26/2026 |
| 3.0.0-beta2 | 2 | 05/26/2026 |
| 3.0.0-beta1 | 2 | 05/26/2026 |
| 3.0.0-alpha5 | 2 | 05/26/2026 |
| 3.0.0-alpha4 | 2 | 05/26/2026 |
| 3.0.0-alpha3 | 2 | 05/26/2026 |
| 3.0.0-alpha2 | 2 | 05/26/2026 |
| 3.0.0-alpha1 | 2 | 05/26/2026 |
| 2.16.6 | 3 | 05/25/2026 |
| 2.16.5 | 2 | 05/26/2026 |
| 2.16.4 | 2 | 05/26/2026 |
| 2.16.3 | 2 | 05/26/2026 |
| 2.16.2 | 2 | 05/26/2026 |
| 2.16.0 | 2 | 05/26/2026 |
| 2.15.3 | 2 | 05/26/2026 |
| 2.15.2 | 2 | 05/26/2026 |
| 2.15.1 | 2 | 05/26/2026 |
| 2.15.0 | 2 | 05/26/2026 |
| 2.14.6 | 2 | 05/26/2026 |
| 2.14.5 | 2 | 05/26/2026 |
| 2.14.4 | 2 | 05/26/2026 |
| 2.14.3 | 2 | 05/26/2026 |
| 2.14.2 | 2 | 05/26/2026 |
| 2.14.0 | 2 | 05/26/2026 |
| 2.13.0 | 2 | 05/26/2026 |
| 2.12.1 | 2 | 05/26/2026 |
| 2.12.0 | 2 | 05/26/2026 |
| 2.11.0 | 2 | 05/26/2026 |
| 2.10.10 | 2 | 05/26/2026 |
| 2.10.9 | 2 | 05/26/2026 |
| 2.10.8 | 2 | 05/26/2026 |
| 2.10.7 | 2 | 05/26/2026 |
| 2.10.6 | 2 | 05/26/2026 |
| 2.10.5 | 2 | 05/26/2026 |
| 2.10.4 | 2 | 05/26/2026 |
| 2.10.3 | 2 | 05/26/2026 |
| 2.10.2 | 2 | 05/26/2026 |
| 2.10.1 | 2 | 05/26/2026 |
| 2.10.0 | 2 | 05/26/2026 |
| 2.9.2 | 2 | 05/26/2026 |
| 2.9.1 | 2 | 05/26/2026 |
| 2.9.0 | 2 | 05/26/2026 |
| 2.9.0-rc3 | 2 | 05/26/2026 |
| 2.9.0-rc2 | 2 | 05/26/2026 |
| 2.9.0-rc1 | 2 | 05/26/2026 |
| 2.8.2 | 2 | 05/26/2026 |
| 2.8.1 | 1 | 05/26/2026 |
| 2.8.0 | 2 | 05/26/2026 |
| 2.7.2 | 2 | 05/26/2026 |
| 2.7.1 | 2 | 05/26/2026 |
| 2.7.0 | 2 | 05/26/2026 |
| 2.6.3 | 2 | 05/26/2026 |
| 2.6.2 | 2 | 05/26/2026 |
| 2.6.1 | 2 | 05/26/2026 |
| 2.6.0 | 2 | 05/26/2026 |
| 2.5.0 | 2 | 05/26/2026 |
| 2.4.0 | 2 | 05/26/2026 |
| 2.3.0 | 2 | 05/26/2026 |
| 2.2.5 | 2 | 05/26/2026 |
| 2.2.4 | 2 | 05/26/2026 |
| 2.2.3 | 2 | 05/26/2026 |
| 2.2.2 | 2 | 05/26/2026 |
| 2.2.1 | 2 | 05/26/2026 |
| 2.2.0 | 2 | 05/26/2026 |
| 2.1.0 | 2 | 05/26/2026 |
| 2.0.7 | 2 | 05/26/2026 |
| 2.0.6 | 2 | 05/26/2026 |
| 2.0.5 | 2 | 05/26/2026 |
| 2.0.4 | 2 | 05/26/2026 |
| 2.0.3 | 2 | 05/26/2026 |
| 2.0.2 | 2 | 05/26/2026 |
| 2.0.1 | 2 | 05/26/2026 |
| 2.0.1-rc1 | 2 | 05/26/2026 |
| 2.0.0-alpha | 2 | 05/26/2026 |
| 1.0.4 | 2 | 05/26/2026 |
| 1.0.3 | 2 | 05/26/2026 |
| 1.0.2 | 2 | 05/26/2026 |
| 1.0.1 | 2 | 05/26/2026 |
| 1.0.0 | 2 | 05/26/2026 |
| 0.9.4 | 2 | 05/26/2026 |
| 0.9.3 | 2 | 05/26/2026 |
| 0.9.2 | 2 | 05/26/2026 |
| 0.9.1 | 2 | 05/26/2026 |
| 0.9.0.1 | 2 | 05/26/2026 |
| 0.9.0 | 2 | 05/26/2026 |
| 0.8.3 | 2 | 05/26/2026 |
| 0.8.2 | 2 | 05/26/2026 |
| 0.8.1 | 2 | 05/26/2026 |
| 0.7.1 | 2 | 05/26/2026 |