Класс: ModelAdvisor. Проверять
Пакет: ModelAdvisor
Задайте, когда осуществить проверку
'PostCompileForCodegen' |
'PostCompile' |
'None' (значение по умолчанию) |
CallbackContext свойство задает контекст для проверки модели или подсистемы.
| Никакие особые требования для модели перед проверкой. |
| Модель скомпилирована и симулирована. Используйте эту опцию в проверках, которые анализируют симулированные модели. |
| Модель скомпилирована для генерации кода, но не симулирована. Используйте эту опцию, чтобы гарантировать готовность генерации кода модели и анализировать и активные и неактивные различные пути. |