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