Operation

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

Constructors

Constructor

Description

new()

Signature: unit -> Operation<'Actual,'Model>

CompiledName: .ctor

Instance members

Instance member

Description

Check(arg1, arg2)

Signature: ('Actual * 'Model) -> PropertyModifiers: abstract

Excecutes the command on the object under test, and returns a property that must hold.
This property typically compares the state of the model with the state of the object after
execution of the command.

Pre(arg1)

Signature: 'Model -> boolModifiers: abstract

Optional precondition for execution of the command. When this does not hold, the test continues
but the command is not executed.