Automata View preference page
The Automata View preference page gives the user a choice to select a type of files that
will contain the computed state transition system for all processes in the model and all never claims,
to select whether the Automata View dialog will be shown after graph creation (default) and whether
statement merging for automata creation should be turned off (default by using verifier generation option
-o3
) or on, regardless of whether it is enabled or disabled on the Verification preference page).
Currently, nine different graphic formats are supported:
dot
,
eps
,
fig
,
gif
,
jpg
,
pdf
(default),
png
,
svg
, and
svgz
.
A click on the Restore Defaults button restores the default selections of options.
A click on the Apply button applies the selected options.
A click on the OK button applies the selected options and closes the page. If the Automata View preference page is opened after
selecting the Automata View option in the Menu Bar Run command or in the Tool Bar,
a click on the OK button, moreover, starts generation of the automata and opens the Automata View selection dialog, where the automaton to be
viewed can be selected.
A click on the Cancel button cancels the selected options, reverts the previous ones and closes the page.