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