Задавать команды или скрипты, которые могут выполняться после верификации, или задавать опции, которые являются единственными командной строкой в Polyspace® пользовательский интерфейс, используйте расширенные настройки.
Задайте опции анализа Polyspace
Задайте опции анализа Polyspace в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.