MPS 2021.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

ItemDescription
Enable 'type was not calculated' checkSelect 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: 08 March 2021