FsCheck 2.0.5

FsCheck is a tool for testing .NET programs automatically. The programmer provides 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. While writing the properties, you are actually writing a testable specification of your program. Specifications are expressed in F#, C# or VB, using combinators defined in the FsCheck library. FsCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. When a property fails, FsCheck automatically displays a minimal counter example.

There is a newer prerelease version of this package available.
See the version list below for details.
Install-Package FsCheck -Version 2.0.5
dotnet add package FsCheck --version 2.0.5
paket add FsCheck --version 2.0.5
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Release Notes

Make Gen operators <*> and <!> actual operators on the Gen type, instead of functions to avoid name clashes. (by Paul Young)
Add FsCheck.Experimental.StateMachine for more advanced state machine-based checking, i.e. for mutable systems.
Fix GenBuilder.delay so that generators inside gen computation expression are not needlessly re-created.
Add Fun active pattern to make using shrinkable and printable functions easier.

Version History

Version Downloads Last updated
3.0.0-alpha1 96 9/26/2017
2.10.3 1,679 9/26/2017
2.10.2 681 9/25/2017
2.10.1 429 9/23/2017
2.10.0 2,602 9/7/2017
2.9.2 1,652 8/28/2017
2.9.1 187 8/27/2017
2.9.0 32,747 5/18/2017
2.9.0-rc3 1,011 5/7/2017
2.9.0-rc2 61 5/6/2017
2.9.0-rc1 59 5/6/2017
2.8.2 3,252 5/6/2017
2.8.1 521 5/1/2017
2.8.0 10,505 3/15/2017
2.7.2 3,363 3/5/2017
2.7.1 5,814 2/13/2017
2.7.0 5,930 1/15/2017
2.6.3 152 1/13/2017
2.6.2 55,493 10/7/2016
2.6.1 3,294 9/25/2016
2.6.0 24,306 8/3/2016
2.5.0 23,789 6/7/2016
2.4.0 10,305 4/20/2016
2.3.0 2,080 4/11/2016
2.2.5 2,411 3/28/2016
2.2.4 18,301 12/17/2015
2.2.3 2,632 11/26/2015
2.2.2 2,656 11/14/2015
2.2.1 827 11/5/2015
2.2.0 3,898 11/1/2015
2.1.0 7,901 9/30/2015
2.0.7 10,627 8/20/2015
2.0.6 467 8/14/2015
2.0.5 (current version) 9,114 7/31/2015
2.0.4 2,351 7/20/2015
2.0.3 26,913 7/10/2015
2.0.2 233 7/7/2015
2.0.1 6,052 5/23/2015
2.0.1-rc1 133 5/23/2015
2.0.0-alpha 192 4/27/2015
1.0.4 14,191 12/9/2014
1.0.3 2,135 11/18/2014
1.0.2 877 10/27/2014
1.0.1 1,559 10/18/2014
1.0.0 3,010 8/3/2014
0.9.4 18,750 5/24/2014
0.9.3 725 5/9/2014
0.9.2 17,139 11/7/2013
0.9.1 2,976 7/2/2013
0.9.0.1 224 6/21/2013
0.9.0 310 6/18/2013
0.8.3 1,119 8/26/2012
0.8.2 367 7/4/2012
0.8.1 304 6/25/2012
0.7.1 768 5/29/2011
Show less