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