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