MODE 1: Forward simulation
Press button to move back, and
button to move forward.
1. This is the default mode. The simulation is run in slow mode with a 2 second delay between transitions. To run in this mode click on button.
2. When the complete counter example has been run, the sequence completion dialog pops up. At this point the system is at the error state. Pressing the forward button will cause the set mode dialog to pop up and the counter example information will be lost. If the initial state is the error state itself, the sequence completion dialog pops up the moment the simulator is evoked. This is the normal expected behavior as in this case the counter example is the empty sequence.
MODE 2: Backtracking
From the dashboard set the delay to 0 seconds and then click on the button to quickly move to the error state.