MPS 2017.2 Help

Model Checker

File | Settings | Tools | Model Checker for Windows and Linux
MPS | Preferences | Tools | Model Checker for macOS
Ctrl+Alt+S
/help/img/idea/2017.2/settings.png


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

See Also

Last modified: 9 August 2017