MPS 2020.1 Help

Model Validation

File | Settings | Build,Execution,Deployment | Model Validation for Windows and Linux
MPS | Preferences | Build,Execution,Deployment | Model Validation for macOS
Ctrl+Alt+S
the Settings icon

Item

Description

Enable 'type was not calculated' check

Select this option to highlight nodes with not calculated type. The warning will be displayed in the editor and shown in the model checker.

Last modified: 29 May 2020