MPS
 
2023.3
Shortcuts: Windows
Get MPS
  1. Reference
  2. Settings
  3. Build, Execution, Deployment
  4. Model Validation

Model Validation

Last modified: 07 March 2024

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

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

CtrlAlt0S

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.