Выберите, нужно ли проверять выходные значения.
Только опция Code Prover. Bug Finder не может проверить выходные значения.
Категория параметров конфигурации модели: Polyspace
По умолчанию: No verification
No verificationPolyspace® не проверяет выходные значения.
Verify outputs are within minimum and maximum valuesPolyspace проверяет, находятся ли выходные значения переменных в пределах ожидаемых минимального и максимального значений. Задайте минимальное и максимальное значения в выход диалоговых окон блока.
Используйте pslinkoptions свойства OutputRangeMode.
The pslinkoptions функция позволяет вам создать Объект опций Polyspace, которую можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink) функция для связи этого свойства с моделью. Используйте параметр PSOutputRangeMode с тем же значением, что и для pslinkoptions свойства OutputRangeMode. См. Pslinkoptions Properties.
pslinkoptions | pslinkoptions Свойства