Console View
The Console View displays textual outputs during executions of Spin Tool Bar options and Menu Bar Run command.
In order to keep track of the vast amount of information that is displayed in the console,
SpinRCP opens a new console each time a new Spin action from the Tool Bar or the Menu Bar Run command is
performed on a given model or given action is performed on a new model. For example, outputs of different
verification runs on the
leader.pml
are written to the first console, all random simulation runs on
leader.pml
to the second one, all runs of the guided simulation to the third one, all verification runs on the
snoopy.pml
to the third...
The contents of all consoles are stored. You can open desired console by clicking Display Selected Console icon
in the console Tool Bar. The following actions are also available in any console: Clear Console, Scroll Lock, Pin Console,
Open Console, Minimize and Maximize Console. Right clicking anywhere within a console enables the following editor functions:
Cut, Copy, Paste, Select all, Find/Replace, Open Link, Clear, and Scroll Lock.