An instantiation of a 'Command' which can be executed, and its effect evaluated.
The specification for the expected behaviour of an Action
.
Capture the Input
and Output
variables from Command
existentially.
Capture the Input
and Output
variables from Command
existentially.
FIXME If we can make the rest of the code play nicely with path-dependent types then we can remove this.
A mapping of symbolic values to concrete values.
Symbolic variable names.
A sequential prefix of actions to execute, with two branches to execute in parallel.
Variables are the symbolic representation of executing an action.
Variables are the symbolic representation of executing an action.
To lookup the actual result of an action you require an Environment
,
which is only accessible at specific stages of testing.
The constructor is hidden to avoid users accidentally creating their own.