219,250

Downloads

579

Downloads of v 2.7.1

104

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,827 Sunday, January 15, 2017
FsCheck 2.6.3 65 Friday, January 13, 2017
FsCheck 2.6.2 27,432 Friday, October 7, 2016
FsCheck 2.6.1 2,903 Sunday, September 25, 2016
FsCheck 2.6.0 12,669 Wednesday, August 3, 2016
FsCheck 2.5.0 16,968 Tuesday, June 7, 2016
FsCheck 2.4.0 7,085 Wednesday, April 20, 2016
FsCheck 2.3.0 1,801 Monday, April 11, 2016
FsCheck 2.2.5 1,799 Monday, March 28, 2016
FsCheck 2.2.4 17,670 Thursday, December 17, 2015
FsCheck 2.2.3 2,509 Thursday, November 26, 2015
FsCheck 2.2.2 2,572 Saturday, November 14, 2015
FsCheck 2.2.1 771 Thursday, November 5, 2015
FsCheck 2.2.0 2,397 Sunday, November 1, 2015
FsCheck 2.1.0 7,614 Wednesday, September 30, 2015
FsCheck 2.0.7 9,625 Thursday, August 20, 2015
FsCheck 2.0.6 393 Friday, August 14, 2015
FsCheck 2.0.5 8,700 Friday, July 31, 2015
FsCheck 2.0.4 1,420 Monday, July 20, 2015
FsCheck 2.0.3 25,921 Friday, July 10, 2015
FsCheck 2.0.2 183 Tuesday, July 7, 2015
FsCheck 2.0.1 5,798 Saturday, May 23, 2015
FsCheck 2.0.1-rc1 80 Saturday, May 23, 2015
FsCheck 2.0.0-alpha 144 Monday, April 27, 2015
FsCheck 1.0.4 13,964 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,476 Saturday, October 18, 2014
FsCheck 1.0.0 2,817 Sunday, August 3, 2014
FsCheck 0.9.4 15,677 Saturday, May 24, 2014
FsCheck 0.9.3 645 Friday, May 9, 2014
FsCheck 0.9.2 15,340 Thursday, November 7, 2013
FsCheck 0.9.1 2,866 Tuesday, July 2, 2013
FsCheck 0.9.0.1 164 Friday, June 21, 2013
FsCheck 0.9.0 249 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 660 Sunday, May 29, 2011