Укажите, когда запускать проверку
'PostCompileForCodegen' |
'PostCompile' |
'None' (по умолчанию) |
The CallbackContext свойство задает контекст для проверки модели или подсистемы.
| Никаких специальных требований к модели перед проверкой. |
| Модель компилируется и моделируется. Используйте эту опцию для проверок, которые анализируют моделируемые модели. |
| Модель компилируется для генерации кода, но не моделируется. Используйте эту опцию, чтобы проверить готовность генерации кода модели и проанализировать как активные, так и неактивные пути исполнения. Чтобы анализировать как активный, так и неактивный варианты, необходимо задать параметр конфигурации System target file равным ert.tlc. |