Header menu logo testify

CheckResult<'Args, 'Actual, 'Expected> Type

Outcome of a property-style check.

Union cases

Union case Description

Errored message

Full Usage: Errored message

Parameters:
    message : string

Testify or user-supplied property logic encountered an unexpected runtime error.

message : string

Exhausted reason

Full Usage: Exhausted reason

Parameters:
    reason : string

FsCheck could not generate enough suitable inputs to complete the check.

reason : string

Failed failure

Full Usage: Failed failure

Parameters:

The property found a counterexample and produced structured failure details.

failure : CheckFailure<'Args, 'Actual, 'Expected>

Passed

Full Usage: Passed

The property passed for the configured generated inputs.

Instance members

Instance member Description

this.IsErrored

Full Usage: this.IsErrored

Returns: bool
Returns: bool

this.IsExhausted

Full Usage: this.IsExhausted

Returns: bool
Returns: bool

this.IsFailed

Full Usage: this.IsFailed

Returns: bool
Returns: bool

this.IsPassed

Full Usage: this.IsPassed

Returns: bool
Returns: bool

Type something to start searching.