Header menu logo testify

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

Represents one concrete property-test case with the observed tested and reference outcomes.

Record fields

Record Field Description

ActualObserved

Full Usage: ActualObserved

Field type: Observed<'Actual>

The observed tested-side outcome, including exceptions.

Field type: Observed<'Actual>

Arguments

Full Usage: Arguments

Field type: 'Args

The concrete generated arguments for this property case.

Field type: 'Args

ExpectedObserved

Full Usage: ExpectedObserved

Field type: Observed<'Expected>

The observed reference-side outcome, including exceptions.

Field type: Observed<'Expected>

Test

Full Usage: Test

Field type: string

The rendered test text for this case.

Field type: string

Type something to start searching.