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 tool 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.
Save Config File	Saves active checks into an .xml file.
Export Results	Writes count of failed entities against each check into a text file.
Export Failed checks	Writes count of failed entities against each check for which "User Status" is set to FAIL.
Export detailed CSV report	Writes detailed report with failed IDs against each check into a .csv format.
Show only run checks	Filters Model Checker Browser to show only checks that are run.
Show only failed checks	Filters Model Checker Browser to show only checks that have failed entities associated with them.
Show only active checks	Filters Model Checker Browser to show all active checks.
Show all checks	Shows all available checks.
Expand All	Expands all folders.
Collapse All	Collapses all folders.