Interrupting the prototype execution causes it to immediately pause, thus enabling the Debugger to read and execute debugging commands. The execution of the controlling statecharts is paused, as are all primitive activities, each of which pauses at its next synchronization point.
When interrupted, the prototype execution is not stopped in the middle of a step but finishes the current step and only then the Debugger prompt appears, allowing you to enter debugging commands. When this is done, you can resume the execution of the prototype using the GO or STEP commands.
To interrupt the prototype execution, use Ctrl-C. Issuing an interrupt while the Debugger prompt is displayed does not produce any results.
For example, suppose that the specification enters a loop of transitions in which there are no breakpoints and you decide that you want to trace certain objects while in the loop. You can interrupt the prototype, turn on traces to the desired objects and then resume execution.