Model Validation
Item | Description |
|---|---|
Enable 'type was not calculated' check | Select this option to highlight nodes whose type hasn't been calculated. The warning will be displayed in the editor and shown in the model checker. |
06 May 2026
Item | Description |
|---|---|
Enable 'type was not calculated' check | Select this option to highlight nodes whose type hasn't been calculated. The warning will be displayed in the editor and shown in the model checker. |