Выберите, проверить ли выходные значения.
Опция Программы автоматического доказательства кода только. Средство поиска ошибки не может проверять выходные значения.
Образцовая категория параметров конфигурации: Polyspace
Значение по умолчанию: No verification
No verificationPolyspace® не проверяет выходные значения.
Verify outputs are within minimum and maximum valuesПроверки Polyspace, чтобы видеть, ли значения выходной переменной в ожидаемых минимальных и максимальных значениях. Укажите, что минимальные и максимальные значения в выводе блокируют диалоговые окна.
Используйте свойство pslinkoptions OutputRangeMode.
Функция pslinkoptions позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param, чтобы сопоставить это свойство с моделью. Используйте параметр PSOutputRangeMode с тем же значением что касается свойства pslinkoptions OutputRangeMode. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions