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-alpha3 14,208 12/30/2017
3.0.0-alpha2 5,346 10/19/2017
3.0.0-alpha1 597 9/26/2017
2.10.10 1,534 5/15/2018
2.10.9 7,207 4/10/2018
2.10.8 12,227 3/3/2018
2.10.7 9,678 1/29/2018
2.10.6 6,830 12/30/2017
2.10.5 1,367 12/28/2017
2.10.4 31,343 11/8/2017
2.10.3 7,159 9/26/2017
2.10.2 5,594 9/25/2017
2.10.1 563 9/23/2017
2.10.0 10,266 9/7/2017
2.9.2 5,986 8/28/2017
2.9.1 235 8/27/2017
2.9.0 56,172 5/18/2017
2.9.0-rc3 2,713 5/7/2017
2.9.0-rc2 99 5/6/2017
2.9.0-rc1 99 5/6/2017
2.8.2 4,713 5/6/2017
2.8.1 567 5/1/2017
2.8.0 13,356 3/15/2017
2.7.2 5,197 3/5/2017
2.7.1 7,984 2/13/2017
2.7.0 6,514 1/15/2017
2.6.3 221 1/13/2017
2.6.2 78,028 10/7/2016
2.6.1 3,699 9/25/2016
2.6.0 28,883 8/3/2016
2.5.0 26,329 6/7/2016
2.4.0 10,619 4/20/2016
2.3.0 2,202 4/11/2016
2.2.5 2,606 3/28/2016
2.2.4 18,754 12/17/2015
2.2.3 2,689 11/26/2015
2.2.2 2,711 11/14/2015
2.2.1 879 11/5/2015
2.2.0 5,205 11/1/2015
2.1.0 8,022 9/30/2015
2.0.7 11,402 8/20/2015
2.0.6 526 8/14/2015
2.0.5 (current) 9,204 7/31/2015
2.0.4 2,715 7/20/2015
2.0.3 27,385 7/10/2015
2.0.2 275 7/7/2015
2.0.1 6,603 5/23/2015
2.0.1-rc1 176 5/23/2015
2.0.0-alpha 233 4/27/2015
1.0.4 14,449 12/9/2014
1.0.3 2,190 11/18/2014
1.0.2 950 10/27/2014
1.0.1 1,631 10/18/2014
1.0.0 3,440 8/3/2014
0.9.4 20,758 5/24/2014
0.9.3 775 5/9/2014
0.9.2 18,512 11/7/2013
0.9.1 3,063 7/2/2013
0.9.0.1 273 6/21/2013
0.9.0 356 6/18/2013
0.8.3 1,192 8/26/2012
0.8.2 432 7/4/2012
0.8.1 367 6/25/2012
0.7.1 866 5/29/2011
Show less