Model Validation

Last modified: 14 September 2021

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.