Model Editor Preferences
Show Evaluate Constant Expression in its own tab
By default, the user can enter constant expressions to evaluate in a section on the Model Checking
Results page; by selecting this option, this section will be moved to its own page
within the Model Editor.
Definition Override display style
The Definition Override display on the Spec Options tab of the model editor can display definitions
referenced from the primary specification in either the display format of:
- Definition [Module Name]
- InstanceVariable!Definition
where, in the latter, InstanceVariable
is defined in specification such as
InstanceVariable == INSTANCE ModuleName WITH ...
This style definition also carries over to the display shown when adding a new override in
this section.
↑ Model Checking