step - Moves to next state in the current trace.

Moves to next state in the current trace. If the current state is the last state in the trace, then a successor state is generated and stored.

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.