Context Menu

Provides a variety of options for working with the Model Checker.

Access

Right-click on empty space or on a check, check folder, or failed entity to display the context menu.

Option	Description
Load file	Loads a new configuration file. It can either be a legacy model checker configuration file or a configuration file saved in the new XML format.
Add file	Appends the configuration file on top of the existing checks.
Run	Runs active checks.
Apply auto correction	Applies auto correction and re-runs active checks.
Investigate	Opens card edit or opens the appropriate panel as defined in the Investigate field. You can make modifications manually on the failed entity.
Create Check	Creates a new check.
Create Folder	Creates a new check folder.
Create Correction	Creates a new correction.
Show	Displays failed entities in the graphics area if they are currently hidden.
Hide	Turns off the visibility of the failed entities in the graphics area if they are currently visible.
Isolate Only	Displays only failed entities in the graphics area and hides all of the other items.
References	Opens the Reference Browser and displays the relationship of the selected card(s) or entity(s) to other entities in the model in a hierarchical tree structure.
Delete	Deletes failed entities from the session.
Delete Check	Deletes selected check from the session.
Review	Invokes Review mode, which displays selected entities irrespective of their display state, masked, or active state Entity State Browser.
View	Elements and nodes are not displayed directly in Model Checker browser. This option opens a new window that shows lists of failed elements/nodes associated with the check. Only checks with less than 1000 failed entities have this option enabled. To increase the limit set the HM_MODELCHECKER_LIMIT_VIEW environment variable to the required limit.