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:

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