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 1,059 12/30/2017
3.0.0-alpha2 2,197 10/19/2017
3.0.0-alpha1 553 9/26/2017
2.10.7 3,038 1/29/2018
2.10.6 4,888 12/30/2017
2.10.5 698 12/28/2017
2.10.4 15,683 11/8/2017
2.10.3 6,478 9/26/2017
2.10.2 3,727 9/25/2017
2.10.1 503 9/23/2017
2.10.0 7,819 9/7/2017
2.9.2 5,002 8/28/2017
2.9.1 215 8/27/2017
2.9.0 48,659 5/18/2017
2.9.0-rc3 1,906 5/7/2017
2.9.0-rc2 84 5/6/2017
2.9.0-rc1 83 5/6/2017
2.8.2 4,279 5/6/2017
2.8.1 549 5/1/2017
2.8.0 12,696 3/15/2017
2.7.2 4,554 3/5/2017
2.7.1 7,454 2/13/2017
2.7.0 6,287 1/15/2017
2.6.3 192 1/13/2017
2.6.2 73,996 10/7/2016
2.6.1 3,567 9/25/2016
2.6.0 26,834 8/3/2016
2.5.0 25,154 6/7/2016
2.4.0 10,508 4/20/2016
2.3.0 2,148 4/11/2016
2.2.5 2,542 3/28/2016
2.2.4 18,555 12/17/2015
2.2.3 2,669 11/26/2015
2.2.2 2,692 11/14/2015
2.2.1 857 11/5/2015
2.2.0 4,720 11/1/2015
2.1.0 7,961 9/30/2015
2.0.7 11,090 8/20/2015
2.0.6 507 8/14/2015
2.0.5 (current version) 9,170 7/31/2015
2.0.4 2,555 7/20/2015
2.0.3 27,244 7/10/2015
2.0.2 260 7/7/2015
2.0.1 6,340 5/23/2015
2.0.1-rc1 162 5/23/2015
2.0.0-alpha 219 4/27/2015
1.0.4 14,369 12/9/2014
1.0.3 2,171 11/18/2014
1.0.2 918 10/27/2014
1.0.1 1,596 10/18/2014
1.0.0 3,276 8/3/2014
0.9.4 19,697 5/24/2014
0.9.3 753 5/9/2014
0.9.2 17,981 11/7/2013
0.9.1 3,025 7/2/2013
0.9.0.1 256 6/21/2013
0.9.0 339 6/18/2013
0.8.3 1,169 8/26/2012
0.8.2 409 7/4/2012
0.8.1 347 6/25/2012
0.7.1 836 5/29/2011
Show less