Укажите, когда выполнять проверку
'PostCompileForCodegen' |
'PostCompile' |
'None' (по умолчанию) |
CallbackContext задает контекст для проверки модели или подсистемы.
| Особых требований к модели перед проверкой не предъявляется. |
| Модель компилируется и моделируется. Эта опция используется для проверок, анализирующих смоделированные модели. |
| Модель компилируется для генерации кода, но не моделируется. Эта опция используется для проверки готовности модели к созданию кода и анализа активных и неактивных путей вариантов. Для анализа как активных, так и неактивных вариантов необходимо установить для параметра конфигурации системного целевого файла значение ert.tlc. |