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.