270,839

Downloads

8,855

Downloads of v 2.4.0

123

Average downloads per day

2016-04-20

Last published

Share on Social Networks

License details

provided by Sonatype

BSD-3-Clause

FsCheck

2.4.0

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 -Version 2.4.0

Release Notes

Fix bug in function generator - previously generated functions were constant functions.
Add ThrowingFunction and Arb.Default.ThrowingFunction which generates a pure function, but that also throws exceptions.
Add Gen.shuffle which generates random permutations of a given input sequence.
Improvements and new features for FsCheck.Experimental.StateMachine: allow tracking of results of operations through the OperationResult type. The implicit
dependencies encoded by one operation using the result of another, are taken into account by the shrinker.

Owners

Authors

Kurt Schelfthout and contributors

Copyright

Copyright 2015

Tags

Dependencies

Version History

Version Downloads Last updated
FsCheck 2.9.0-rc3 61 Sunday, May 7, 2017
FsCheck 2.9.0-rc2 20 Saturday, May 6, 2017
FsCheck 2.9.0-rc1 19 Saturday, May 6, 2017
FsCheck 2.8.2 1,135 Saturday, May 6, 2017
FsCheck 2.8.1 409 Monday, May 1, 2017
FsCheck 2.8.0 7,072 Wednesday, March 15, 2017
FsCheck 2.7.2 1,436 Sunday, March 5, 2017
FsCheck 2.7.1 4,855 Monday, February 13, 2017
FsCheck 2.7.0 5,015 Sunday, January 15, 2017
FsCheck 2.6.3 105 Friday, January 13, 2017
FsCheck 2.6.2 43,532 Friday, October 7, 2016
FsCheck 2.6.1 3,137 Sunday, September 25, 2016
FsCheck 2.6.0 18,759 Wednesday, August 3, 2016
FsCheck 2.5.0 20,804 Tuesday, June 7, 2016
FsCheck 2.4.0 (this version) 8,855 Wednesday, April 20, 2016
FsCheck 2.3.0 1,945 Monday, April 11, 2016
FsCheck 2.2.5 2,134 Monday, March 28, 2016
FsCheck 2.2.4 17,898 Thursday, December 17, 2015
FsCheck 2.2.3 2,573 Thursday, November 26, 2015
FsCheck 2.2.2 2,612 Saturday, November 14, 2015
FsCheck 2.2.1 790 Thursday, November 5, 2015
FsCheck 2.2.0 2,838 Sunday, November 1, 2015
FsCheck 2.1.0 7,747 Wednesday, September 30, 2015
FsCheck 2.0.7 10,255 Thursday, August 20, 2015
FsCheck 2.0.6 416 Friday, August 14, 2015
FsCheck 2.0.5 9,041 Friday, July 31, 2015
FsCheck 2.0.4 1,899 Monday, July 20, 2015
FsCheck 2.0.3 26,489 Friday, July 10, 2015
FsCheck 2.0.2 199 Tuesday, July 7, 2015
FsCheck 2.0.1 5,868 Saturday, May 23, 2015
FsCheck 2.0.1-rc1 98 Saturday, May 23, 2015
FsCheck 2.0.0-alpha 159 Monday, April 27, 2015
FsCheck 1.0.4 14,078 Tuesday, December 9, 2014
FsCheck 1.0.3 2,100 Tuesday, November 18, 2014
FsCheck 1.0.2 817 Monday, October 27, 2014
FsCheck 1.0.1 1,509 Saturday, October 18, 2014
FsCheck 1.0.0 2,860 Sunday, August 3, 2014
FsCheck 0.9.4 17,395 Saturday, May 24, 2014
FsCheck 0.9.3 674 Friday, May 9, 2014
FsCheck 0.9.2 16,036 Thursday, November 7, 2013
FsCheck 0.9.1 2,916 Tuesday, July 2, 2013
FsCheck 0.9.0.1 182 Friday, June 21, 2013
FsCheck 0.9.0 267 Tuesday, June 18, 2013
FsCheck 0.8.3 1,061 Sunday, August 26, 2012
FsCheck 0.8.2 322 Wednesday, July 4, 2012
FsCheck 0.8.1 254 Monday, June 25, 2012
FsCheck 0.7.1 694 Sunday, May 29, 2011