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:
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.