Simulation
Simulation preference page offers the user the possibility to select the Spin simulation mode (random, guided, or interactive).
For random simulation a seed value can be set.
For guided simulation either the default Spin trail file with the extension .trail added to the original Promela
source file or any other Spin trail file can be selected.
The number of initial steps skipped
(default 0), the maximum number of steps (default 10000), and how a full queue is simulated (either blocks or loses new messages)
is also selected on this page.