FsCheck

0.8.3.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

Owners

• kurt

Authors

• Kurt Schelfthout and contributors

Tags

• test
• testing
• random
• fscheck
• quickcheck

Dependencies

This package has no dependencies.

Version History

Version	Downloads	Last updated
FsCheck 0.8.3.0	536	Sunday, August 26 2012
FsCheck 0.8.2.0	121	Wednesday, July 04 2012
FsCheck 0.8.1.0	51	Monday, June 25 2012
FsCheck 0.7.1	478	Sunday, May 29 2011