MPS
 
2020.1
Shortcuts: Windows
Get MPS
You are viewing the documentation for an earlier version of MPS. View this page in the current documentation
  1. Reference
  2. Settings / Preferences dialog
  3. Tools
  4. Model Checker

Model Checker

Last modified: 18 June 2020

File | Settings | Tools | Model Checker for Windows and Linux
MPS | Preferences | Tools | Model Checker for macOS
Ctrl+Alt+S
settings

Move the slider and select the checkboxes in this page to specify which validations will be performed for a model.