Model Validation
for Windows and Linux
for macOS
Ctrl+Alt+S
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: 28 February 2020