FsCheck


Configuration

Namespace: FsCheck

Configure the test run with a quick configuration.

Constructors

ConstructorDescription
new()
Signature: unit -> Configuration

CompiledName: .ctor

Instance members

Instance memberDescription
x.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

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

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

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

CompiledName: set_Every

x.Every()
Signature: unit -> unit

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

CompiledName: get_Every

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

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

CompiledName: set_EveryShrink

x.EveryShrink()
Signature: unit -> unit

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

CompiledName: get_EveryShrink

x.MaxNbOfFailedTests()
Signature: unit -> int

The maximum number of tests where values are rejected

CompiledName: set_MaxNbOfFailedTests

x.MaxNbOfFailedTests()
Signature: unit -> unit

The maximum number of tests where values are rejected

CompiledName: get_MaxNbOfFailedTests

x.MaxNbOfTest()
Signature: unit -> int

The maximum number of tests that are run.

CompiledName: set_MaxNbOfTest

x.MaxNbOfTest()
Signature: unit -> unit

The maximum number of tests that are run.

CompiledName: get_MaxNbOfTest

x.Name()
Signature: unit -> string

Name of the test.

CompiledName: set_Name

x.Name()
Signature: unit -> unit

Name of the test.

CompiledName: get_Name

x.QuietOnSuccess()
Signature: unit -> bool

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

CompiledName: set_QuietOnSuccess

x.QuietOnSuccess()
Signature: unit -> unit

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

CompiledName: get_QuietOnSuccess

x.Replay()
Signature: unit -> StdGen

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

CompiledName: set_Replay

x.Replay()
Signature: unit -> unit

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

CompiledName: get_Replay

x.Runner()
Signature: unit -> IRunner

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

CompiledName: set_Runner

x.Runner()
Signature: unit -> unit

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

CompiledName: get_Runner

x.StartSize()
Signature: unit -> int

The size to use for the first test.

CompiledName: set_StartSize

x.StartSize()
Signature: unit -> unit

The size to use for the first test.

CompiledName: get_StartSize

Static members

Static memberDescription
Configuration.Default
Signature: Configuration

The default configuration is the quick configuration.

CompiledName: get_Default

Configuration.Quick
Signature: Configuration

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

CompiledName: get_Quick

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

Configuration.Verbose
Signature: Configuration

The verbose configuration prints each generated argument.

CompiledName: get_Verbose

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