Проверьте все случаи

Поскольку S-функция анализирует только. Запустите анализ всех экземпляров выбранной S-функции.

Образцовая категория параметров конфигурации: Polyspace

Настройки

Значение по умолчанию: 'off'

'off'

Анализируйте только выбранный Блок s-function. Анализ включает только информацию от выбранного Блока s-function.

На

Анализируйте все случаи S-функции в модели. Если S-функция включена в модель многократно, информация от всех случаев включена в анализ.

Информация о командной строке

Используйте свойство pslinkoptions VerifALLSFcnInstances.

Функция pslinkoptions позволяет вам создавать Polyspace®, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param, чтобы сопоставить это свойство с моделью. Используйте параметр PSVerifALLSFcnInstances с тем же значением что касается свойства pslinkoptions VerifALLSFcnInstances. См. pslinkoptions Свойства.

Смотрите также

|

Похожие темы