6 packages returned for Tags:"quickcheck"

FsCheck is a tool for testing .NET programs automatically. You provide 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. Such properties are... More information

FsCheck.Xunit integrates FsCheck with xUnit.NET by adding a PropertyAttribute that runs FsCheck tests, similar to xUnit.NET's FactAttribute. All the options normally available in vanilla FsCheck via configuration can be controlled via the PropertyAttribute.

FsCheck.NUnit integrates FsCheck with NUnit by adding a PropertyAttribute that runs FsCheck tests, similar to NUnit TestAttribute. All the options normally available in vanilla FsCheck via configuration can be controlled via the PropertyAttribute.

FsCheckUtils adds FsCheck utilities aimed at C# developers

SpecFlow plugin for using property-based testing with FsCheck in SpecFlow scenarios. (FsCheck is the .NET port of QuickCheck).

Property based testing library for C#. Write properties as Linq expressions.