Расширенные настройки

Постаналитические команды и другие опции

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

Аналитические опции

Command/script to apply after the end of the code verification (-post-analysis-command)Задайте команду или скрипт, который будет выполняться после анализа
OtherЗадайте дополнительные флаги для анализа

Темы

Задайте аналитические опции Polyspace

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