Manage and Run Checks

Use the Model Checker to configure solver validity checks, modify and create new checks and corrections, and fix modeling issues in an automatic or manual way.

Using the Model Checker, you can manage the checks by:

• Interactively creating/editing checks and corrections
• Changing the level of checks
• Organizing checks in custom folders
• Activating/deactivating checks
• Saving/reading Model Check configurations to/from an .xml file

From the Validate ribbon, click the satellite icon that appears when you hover over the Model tool. There are two levels of checks available:

Elements

Check the quality of elements.

Solver

Check your model for errors and warnings.