217,563

Downloads

345

Downloads of v 2.7.1

103

Average downloads per day

2017-02-13

Last published

Share on Social Networks

FsCheck

2.7.1

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.

To install FsCheck, run the following command in the Package Manager Console

Install-Package FsCheck

Release Notes

Improve reflection based generator for union cases - now also detect if a union case is recursive via any number of other types.
Improve shrinking - when many possible values are tried, the shrinking was not tail recursive which could lead to stack overflow in rare situations. (by Lukas Rieger)
Improvements to Experimental.StateMachine: some stats about generated operations are now printed and shrinking of operations can be customized (by Silvio Marcovic). Also the Setup shrinking phase now works correctly.

Owners

Authors

Kurt Schelfthout and contributors

Copyright

Copyright 2015

Tags

Dependencies

Version History

Version Downloads Last updated
FsCheck 2.7.0 2,625 Sunday, January 15, 2017
FsCheck 2.6.3 61 Friday, January 13, 2017
FsCheck 2.6.2 26,970 Friday, October 7, 2016
FsCheck 2.6.1 2,901 Sunday, September 25, 2016
FsCheck 2.6.0 12,449 Wednesday, August 3, 2016
FsCheck 2.5.0 16,812 Tuesday, June 7, 2016
FsCheck 2.4.0 6,996 Wednesday, April 20, 2016
FsCheck 2.3.0 1,795 Monday, April 11, 2016
FsCheck 2.2.5 1,774 Monday, March 28, 2016
FsCheck 2.2.4 17,660 Thursday, December 17, 2015
FsCheck 2.2.3 2,504 Thursday, November 26, 2015
FsCheck 2.2.2 2,571 Saturday, November 14, 2015
FsCheck 2.2.1 770 Thursday, November 5, 2015
FsCheck 2.2.0 2,363 Sunday, November 1, 2015
FsCheck 2.1.0 7,607 Wednesday, September 30, 2015
FsCheck 2.0.7 9,603 Thursday, August 20, 2015
FsCheck 2.0.6 392 Friday, August 14, 2015
FsCheck 2.0.5 8,685 Friday, July 31, 2015
FsCheck 2.0.4 1,353 Monday, July 20, 2015
FsCheck 2.0.3 25,893 Friday, July 10, 2015
FsCheck 2.0.2 181 Tuesday, July 7, 2015
FsCheck 2.0.1 5,794 Saturday, May 23, 2015
FsCheck 2.0.1-rc1 79 Saturday, May 23, 2015
FsCheck 2.0.0-alpha 143 Monday, April 27, 2015
FsCheck 1.0.4 13,960 Tuesday, December 9, 2014
FsCheck 1.0.3 2,083 Tuesday, November 18, 2014
FsCheck 1.0.2 780 Monday, October 27, 2014
FsCheck 1.0.1 1,474 Saturday, October 18, 2014
FsCheck 1.0.0 2,817 Sunday, August 3, 2014
FsCheck 0.9.4 15,622 Saturday, May 24, 2014
FsCheck 0.9.3 643 Friday, May 9, 2014
FsCheck 0.9.2 15,322 Thursday, November 7, 2013
FsCheck 0.9.1 2,865 Tuesday, July 2, 2013
FsCheck 0.9.0.1 162 Friday, June 21, 2013
FsCheck 0.9.0 248 Tuesday, June 18, 2013
FsCheck 0.8.3 1,029 Sunday, August 26, 2012
FsCheck 0.8.2 299 Wednesday, July 4, 2012
FsCheck 0.8.1 228 Monday, June 25, 2012
FsCheck 0.7.1 659 Sunday, May 29, 2011