Run Model Check

Find all entities in your model that failed the active checks in the Model Checker.

  1. Open the Model Checker.
  2. In the Active Status column, select the checkbox of the checks to perform.
    Only active checks will be considered.
  3. Run checks.
    • Run all active checks by right-clicking in the white-space of the Model Checker and selecting Run from the context menu.
    • Run all active checks in a Check Folder by right-clicking on the folder and selecting Run from the context menu.
    • Run a single check by right-clicking on a check and selecting Run from the context menu.
    A list of failed checks display, along with the entities in your model that failed the check.


    Figure 1.
  4. Perform correction.
    • Perform automatic correction by right-clicking on the failed check or failed entity and select Apply Auto Correction from the context menu.
    • Perform manual correction by right-clicking on the failed check or failed entity and select Apply Manual Correction from the context menu.
  5. Optional: Export a detailed report of the checks that were run by right-clicking in the white-space of the Model Checker and selecting Export Results from the context menu.
Tip:
  • Filter the checks that are displayed by right-clicking in the white-space of the Model Checker and selecting one of the following options from the context menu: Show only run checks, Show only failed checks, Show only active checks, Show all checks.
  • Show, hide, and isolate failed entities in the graphics area by right-clicking on the failed entity and selecting Show, Hide, Isolate only from the context menu. In case of element/node checks, this action will be perform on all failed entities associated with the check.
  • Cross reference failed entities by right-clicking on the failed entity and selecting XRef Entities from the context menu.
  • Review failed entities in the graphics area by right-clicking on the failed entity and selecting Review from the context menu.
  • View the failed nodes/elements in a new window provided the failed count is less than threshold limit(default 1000) by right-clicking on the failed elements/nodes and selecting View from the context menu.
  • Delete selected entities or failed entities by right-clicking on the entity or check and selecting Delete from the context menu.