7 packages returned for Tags:"quickcheck"

Package type
Sort by
Options
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.
CsCheck is a C# random testing library inspired by QuickCheck. It differs in that generation and shrinking are both based on PCG, a fast random number generator. This gives the following advantages: - Automatic shrinking. Gen classes are composable with no need for Arb classes. So less... More information