FsCheck


Config

Namespace: FsCheck

For configuring a run.

Record Fields

Record FieldDescription
Arbitrary
Signature: Type list

The Arbitrary instances on this class will be merged in back to front order, i.e. instances for the same generated type at the front of the list will override those at the back. The instances on Arb.Default are always known, and are at the back (so they can always be overridden)

EndSize
Signature: int

The size to use for the last test, when all the tests are passing. The size increases linearly between Start- and EndSize.

Every
Signature: int -> obj list -> string

What to print when new arguments args are generated in test n

EveryShrink
Signature: obj list -> string

What to print every time a counter-example is succesfully shrunk

MaxFail
Signature: int

The maximum number of tests where values are rejected, e.g. as the result of ==>

MaxTest
Signature: int

The maximum number of tests that are run.

Name
Signature: string

Name of the test.

QuietOnSuccess
Signature: bool

If set, suppresses the output from the test if the test is successful.

Replay
Signature: StdGen option

If set, the seed to use to start testing. Allows reproduction of previous runs.

Runner
Signature: IRunner

A custom test runner, e.g. to integrate with a test framework like xUnit or NUnit.

StartSize
Signature: int

The size to use for the first test.

Static members

Static memberDescription
Default
Signature: Config

The default configuration is the quick configuration.

CompiledName: get_Default

Quick
Signature: Config

The quick configuration only prints a summary result at the end of the test.

CompiledName: get_Quick

QuickThrowOnFailure
Signature: Config

Like the Quick configuration, only throws an exception with the error message if the test fails or is exhausted. Useful for use within other unit testing frameworks that usually adopt this methodolgy to signal failure.

CompiledName: get_QuickThrowOnFailure

Verbose
Signature: Config

The verbose configuration prints each generated argument.

CompiledName: get_Verbose

VerboseThrowOnFailure
Signature: Config

Like the Verbose configuration, only throws an exception with the error message if the test fails or is exhausted. Useful for use within other unit testing frameworks that usually adopt this methodolgy to signal failure.

CompiledName: get_VerboseThrowOnFailure

Fork me on GitHub