Model Validation

File | Settings | Build,Execution,Deployment | Model Validation for Windows and Linux

","

MPS | Settings | Build,Execution,Deployment | Model Validation for macOS

","

Ctrl+Alt+S

","

$\"the$

"]}">

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: 11 February 2024