File | Settings | Build,Execution,Deployment | Model Validation for Windows and Linux MPS | Preferences | Build,Execution,Deployment | Model Validation for macOS Ctrl+Alt+S
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.
