FsCheck


Configuration

Namespace: FsCheck

Configure the test run with a quick configuration.

Constructors

ConstructorDescription
new()
Signature: unit -> Configuration

CompiledName: .ctor

Instance members

Instance memberDescription
EndSize()
Signature: unit -> int

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

CompiledName: set_EndSize

EndSize()
Signature: unit -> unit

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

CompiledName: get_EndSize

Every()
Signature: unit -> Func<int,obj array,string>

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

CompiledName: set_Every

Every()
Signature: unit -> unit

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

CompiledName: get_Every

EveryShrink()
Signature: unit -> Func<obj array,string>

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

CompiledName: set_EveryShrink

EveryShrink()
Signature: unit -> unit

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

CompiledName: get_EveryShrink

MaxNbOfFailedTests()
Signature: unit -> int

The maximum number of tests where values are rejected

CompiledName: set_MaxNbOfFailedTests

MaxNbOfFailedTests()
Signature: unit -> unit

The maximum number of tests where values are rejected

CompiledName: get_MaxNbOfFailedTests

MaxNbOfTest()
Signature: unit -> int

The maximum number of tests that are run.

CompiledName: set_MaxNbOfTest

MaxNbOfTest()
Signature: unit -> unit

The maximum number of tests that are run.

CompiledName: get_MaxNbOfTest

Name()
Signature: unit -> string

Name of the test.

CompiledName: set_Name

Name()
Signature: unit -> unit

Name of the test.

CompiledName: get_Name

QuietOnSuccess()
Signature: unit -> bool

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

CompiledName: set_QuietOnSuccess

QuietOnSuccess()
Signature: unit -> unit

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

CompiledName: get_QuietOnSuccess

Replay()
Signature: unit -> StdGen

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

CompiledName: set_Replay

Replay()
Signature: unit -> unit

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

CompiledName: get_Replay

Runner()
Signature: unit -> IRunner

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

CompiledName: set_Runner

Runner()
Signature: unit -> unit

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

CompiledName: get_Runner

StartSize()
Signature: unit -> int

The size to use for the first test.

CompiledName: set_StartSize

StartSize()
Signature: unit -> unit

The size to use for the first test.

CompiledName: get_StartSize

Static members

Static memberDescription
Default
Signature: Configuration

The default configuration is the quick configuration.

CompiledName: get_Default

Quick
Signature: Configuration

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

CompiledName: get_Quick

QuickThrowOnFailure
Signature: Configuration

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: Configuration

The verbose configuration prints each generated argument.

CompiledName: get_Verbose

VerboseThrowOnFailure
Signature: Configuration

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