Command
The specification for the expected behaviour of an Action
.
The specification for the expected behaviour of an Action
.
Value members
Abstract methods
A post-condition for a command that must be verified for the command to be considered a success.
A post-condition for a command that must be verified for the command to be considered a success.
Concrete methods
Render the input for displaying in test output.
Render the input for displaying in test output.
The default is to use toString
, but optionally can support being overridden.
A pre-condition for a command that must be verified before the command can be executed. This is mainly used during shrinking to ensure that it is still OK to run a command despite the fact that some previously executed commands may have been removed from the sequence.
A pre-condition for a command that must be verified before the command can be executed. This is mainly used during shrinking to ensure that it is still OK to run a command despite the fact that some previously executed commands may have been removed from the sequence.