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