MPS 2021.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: 14 September 2021