FsCheck 2.16.2
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.
Support generation and shrinking of System.Collections.Immutable types via reflection.
.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 |