Counter Example Running Modes


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.


Note: The debugging information for counter example simulation is only retained as long as the user stays within the event sequence mode. The user can freely step forward and backward within this mode. If the user goes beyond the last event in the sequence, the event set mode dialog will pop up. Once the user enters the event set mode, the counter example information will be lost if the user steps backward in the simulation.


« Hierarchical System CES   |   Debugging in Multiple Sessions »