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 421 10/6/2018
3.0.0-alpha3 37,048 12/30/2017
3.0.0-alpha2 5,475 10/19/2017
3.0.0-alpha1 638 9/26/2017
2.12.1 133 10/18/2018
2.12.0 2,033 10/6/2018
2.11.0 23,981 6/15/2018
2.10.10 26,761 5/15/2018
2.10.9 19,536 4/10/2018
2.10.8 30,441 3/3/2018
2.10.7 11,657 1/29/2018
2.10.6 8,856 12/30/2017
2.10.5 2,448 12/28/2017
2.10.4 41,992 11/8/2017
2.10.3 8,153 9/26/2017
2.10.2 7,698 9/25/2017
2.10.1 637 9/23/2017
2.10.0 11,962 9/7/2017
2.9.2 6,618 8/28/2017
2.9.1 265 8/27/2017
2.9.0 63,521 5/18/2017
2.9.0-rc3 3,273 5/7/2017
2.9.0-rc2 134 5/6/2017
2.9.0-rc1 124 5/6/2017
2.8.2 5,055 5/6/2017
2.8.1 593 5/1/2017
2.8.0 13,589 3/15/2017
2.7.2 5,364 3/5/2017
2.7.1 8,301 2/13/2017
2.7.0 6,651 1/15/2017
2.6.3 250 1/13/2017
2.6.2 82,871 10/7/2016
2.6.1 3,889 9/25/2016
2.6.0 33,517 8/3/2016
2.5.0 28,747 6/7/2016
2.4.0 10,761 4/20/2016
2.3.0 2,272 4/11/2016
2.2.5 3,014 3/28/2016
2.2.4 18,875 12/17/2015
2.2.3 2,718 11/26/2015
2.2.2 2,732 11/14/2015
2.2.1 900 11/5/2015
2.2.0 6,080 11/1/2015
2.1.0 8,119 9/30/2015
2.0.7 11,789 8/20/2015
2.0.6 555 8/14/2015
2.0.5 9,264 7/31/2015
2.0.4 2,974 7/20/2015
2.0.3 27,546 7/10/2015
2.0.2 295 7/7/2015
2.0.1 6,791 5/23/2015
2.0.1-rc1 194 5/23/2015
2.0.0-alpha 254 4/27/2015
1.0.4 14,694 12/9/2014
1.0.3 2,212 11/18/2014
1.0.2 994 10/27/2014
1.0.1 1,670 10/18/2014
1.0.0 3,781 8/3/2014
0.9.4 22,351 5/24/2014
0.9.3 828 5/9/2014
0.9.2 19,220 11/7/2013
0.9.1 3,187 7/2/2013
0.9.0.1 307 6/21/2013
0.9.0 389 6/18/2013
0.8.3 1,266 8/26/2012
0.8.2 458 7/4/2012
0.8.1 394 6/25/2012
0.7.1 925 5/29/2011
Show less