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 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-alpha4 2,916 10/6/2018
3.0.0-alpha3 49,816 12/30/2017
3.0.0-alpha2 5,530 10/19/2017
3.0.0-alpha1 732 9/26/2017
2.13.0 17,450 11/11/2018
2.12.1 8,026 10/18/2018
2.12.0 4,777 10/6/2018
2.11.0 43,414 6/15/2018
2.10.10 41,773 5/15/2018
2.10.9 24,648 4/10/2018
2.10.8 38,468 3/3/2018
2.10.7 12,151 1/29/2018
2.10.6 9,575 12/30/2017
2.10.5 3,720 12/28/2017
2.10.4 47,370 11/8/2017
2.10.3 8,507 9/26/2017
2.10.2 8,457 9/25/2017
2.10.1 734 9/23/2017
2.10.0 12,888 9/7/2017
2.9.2 6,820 8/28/2017
2.9.1 321 8/27/2017
2.9.0 67,632 5/18/2017
2.9.0-rc3 3,328 5/7/2017
2.9.0-rc2 193 5/6/2017
2.9.0-rc1 175 5/6/2017
2.8.2 5,485 5/6/2017
2.8.1 654 5/1/2017
2.8.0 14,440 3/15/2017
2.7.2 5,566 3/5/2017
2.7.1 8,734 2/13/2017
2.7.0 7,332 1/15/2017
2.6.3 330 1/13/2017
2.6.2 84,010 10/7/2016
2.6.1 4,091 9/25/2016
2.6.0 34,839 8/3/2016
2.5.0 30,928 6/7/2016
2.4.0 11,274 4/20/2016
2.3.0 2,405 4/11/2016
2.2.5 3,206 3/28/2016
2.2.4 19,063 12/17/2015
2.2.3 2,814 11/26/2015
2.2.2 2,801 11/14/2015
2.2.1 980 11/5/2015
2.2.0 6,816 11/1/2015
2.1.0 8,241 9/30/2015
2.0.7 12,054 8/20/2015
2.0.6 623 8/14/2015
2.0.5 9,347 7/31/2015
2.0.4 3,160 7/20/2015
2.0.3 27,687 7/10/2015
2.0.2 356 7/7/2015
2.0.1 6,973 5/23/2015
2.0.1-rc1 249 5/23/2015
2.0.0-alpha 308 4/27/2015
1.0.4 15,059 12/9/2014
1.0.3 2,283 11/18/2014
1.0.2 1,098 10/27/2014
1.0.1 1,738 10/18/2014
1.0.0 4,218 8/3/2014
0.9.4 23,424 5/24/2014
0.9.3 908 5/9/2014
0.9.2 19,669 11/7/2013
0.9.1 3,278 7/2/2013
0.9.0.1 396 6/21/2013
0.9.0 495 6/18/2013
0.8.3 1,369 8/26/2012
0.8.2 534 7/4/2012
0.8.1 534 6/25/2012
0.7.1 1,026 5/29/2011
Show less