step - Moves to next state in the current trace.
step [-h] [-v]
Moves to next state in the current
trace. If the current state is the last state in the
trace, then an error message is printed out.
Command options:
- -v
- Prints the value of all state variables, otherwise it
prints only the values of the state variables that have
changed from previous state.
Last updated on 990908 16h51