FsCheck


Command<'Actual, 'Model>

Namespace: FsCheck

A single command describes pre and post conditions and the model for a single method under test. The post-conditions are the invariants that will be checked; when these do not hold the test fails.

Constructors

ConstructorDescription
new()
Signature: unit -> Command<'Actual,'Model>

CompiledName: .ctor

Instance members

Instance memberDescription
Post(arg1, arg2)
Signature: ('Actual * 'Model) -> Property
Modifiers: abstract

Postcondition that must hold after execution of the command. Compares state of model and actual object and fails the property if they do not match.

Pre(arg1)
Signature: 'Model -> bool
Modifiers: abstract

Precondition for execution of the command. When this does not hold, the test continues but the command will not be executed.

RunActual(arg1)
Signature: 'Actual -> 'Actual
Modifiers: abstract

Excecutes the command on the actual object under test.

RunModel(arg1)
Signature: 'Model -> 'Model
Modifiers: abstract

Executes the command on the model of the object.

Fork me on GitHub