Блокируйте сокращение
Блокируйтесь сокращение достигает более быстрого выполнения во время симуляции модели и в сгенерированном коде. Когда сокращение блока включено, определенные группы блока могут быть свернуты в один блок, или даже удалены полностью.
С Simulink® Design Verifier™, сокращение блока происходит автоматически и блокируется в неиспользованных путях выполнения кода, устраняются из модели. Результаты Simulink Design Verifier не включают цели тестирования для блоков, которые уменьшались.
Рассмотрите блок Switch в следующей модели.
Для этого блока switch входом управления всегда является 0. Если параметрами блоков Criteria for passing first input является u2 ~= 0, блок switch всегда передает третий вход до выходного порта. Когда вы анализируете эту модель, Simulink Design Verifier удаляет блок switch из модели и не сообщает ни о каких целях тестирования для блока switch.
Для получения дополнительной информации о сокращении блока, см. описание параметра сокращения Блока.