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: 19 August 2020