FsCheck
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.
Activity
- Latest release
- 1mo ago
- Total releases
- 100
- Cadence
- ~29 days
- Last 12 months
- 3
Details
- License
- BSD-3-Clause
- First release
- May 29, 2011
| Version | Released | |
|---|---|---|
3.3.4
patch
|
3.3.4
patch
Dependencies (1)
|
|
3.3.3
patch
|
3.3.3
patch
Dependencies (1)
|
|
3.3.2
patch
|
3.3.2
patch
Dependencies (1)
|
|
3.3.1
patch
|
3.3.1
patch
Dependencies (1)
|
|
3.3.0
minor
|
3.3.0
minor
Dependencies (1)
|
|
3.2.0
minor
|
3.2.0
minor
Dependencies (1)
|
|
3.1.0
minor
|
3.1.0
minor
Dependencies (1)
|
|
3.0.1
patch
|
3.0.1
patch
Dependencies (1)
|
|
3.0.0
major
|
3.0.0
major
Dependencies (1)
|
|
3.0.0-rc3
pre
|
3.0.0-rc3
pre
Dependencies (1)
|
|
3.0.0-rc2
pre
|
3.0.0-rc2
pre
Dependencies (1)
|
|
3.0.0-rc1
pre
|
3.0.0-rc1
pre
Dependencies (1)
|
|
2.16.6
patch
|
2.16.6
patch
Dependencies (1)
|
|
2.16.5
patch
|
2.16.5
patch
Dependencies (1)
|
|
3.0.0-beta2
pre
|
3.0.0-beta2
pre
Dependencies (1)
|
|
2.16.4
patch
|
2.16.4
patch
Dependencies (1)
|
|
3.0.0-beta1
pre
|
3.0.0-beta1
pre
Dependencies (1)
|
|
2.16.3
patch
|
2.16.3
patch
Dependencies (1)
|
|
2.16.2
patch
|
2.16.2
patch
Dependencies (1)
|
|
2.16.0
minor
|
2.16.0
minor
Dependencies (1)
|
|
2.15.3
patch
|
2.15.3
patch
Dependencies (1)
|
|
2.15.2
patch
|
2.15.2
patch
Dependencies (1)
|
|
2.15.1
patch
|
2.15.1
patch
Dependencies (1)
|
|
2.15.0
minor
|
2.15.0
minor
Dependencies (1)
|
|
2.14.6
patch
|
2.14.6
patch
Dependencies (1)
|
|
2.14.5
patch
|
2.14.5
patch
Dependencies (1)
|
|
2.14.4
patch
|
2.14.4
patch
Dependencies (1)
|
|
3.0.0-alpha5
pre
|
3.0.0-alpha5
pre
Dependencies (1)
|
|
2.14.3
patch
|
2.14.3
patch
Dependencies (1)
|
|
2.14.2
patch
|
2.14.2
patch
Dependencies (1)
|
|
2.14.0
minor
|
2.14.0
minor
Dependencies (1)
|
|
2.13.0
minor
|
2.13.0
minor
Dependencies (1)
|
|
2.12.1
patch
|
2.12.1
patch
Dependencies (3)
|
|
3.0.0-alpha4
pre
|
3.0.0-alpha4
pre
Dependencies (3)
|
|
2.12.0
minor
|
2.12.0
minor
Dependencies (3)
|
|
2.11.0
minor
|
2.11.0
minor
Dependencies (3)
|
|
2.10.10
patch
|
2.10.10
patch
Dependencies (3)
|
|
2.10.9
patch
|
2.10.9
patch
Dependencies (3)
|
|
2.10.8
patch
|
2.10.8
patch
Dependencies (3)
|
|
2.10.7
patch
|
2.10.7
patch
Dependencies (3)
|
|
3.0.0-alpha3
pre
|
3.0.0-alpha3
pre
Dependencies (3)
|
|
2.10.6
patch
|
2.10.6
patch
Dependencies (3)
|
|
2.10.5
patch
|
2.10.5
patch
Dependencies (3)
|
|
2.10.4
patch
|
2.10.4
patch
Dependencies (2)
|
|
3.0.0-alpha2
pre
|
3.0.0-alpha2
pre
Dependencies (2)
|
|
3.0.0-alpha1
pre
|
3.0.0-alpha1
pre
Dependencies (2)
|
|
2.10.3
patch
|
2.10.3
patch
Dependencies (2)
|
|
2.10.2
patch
|
2.10.2
patch
Dependencies (2)
|
|
2.10.1
patch
|
2.10.1
patch
Dependencies (2)
|
|
2.10.0
minor
|
2.10.0
minor
Dependencies (2)
|