MPS 2022.2 Help

Model Validation

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: 17 March 2022