Укажите дополнительные флаги для анализа
Эта опция полезна, только если вы запускаете анализ в пользовательском интерфейсе Polyspace® настольных продуктов.
Введите такие флаги в командной строке, как -max-processes.
В вашем строении проекта опция находится на узле Advanced Settings. В это поле можно ввести несколько опции. Если вы вводите одну и ту же опцию несколько раз с различными аргументами, анализ использует ваш последний аргумент.
Используйте эту опцию, чтобы добавить неофициальные или только опции командной строки к анализатору.
Если необходимо добавить несколько параметров командной строки, можно сохранить их в текстовом файле и указать файл с помощью опции -options-file. Можно повторно использовать файл опций между проектами.
Неофициальные опции: В редких обстоятельствах, для работы над очень конкретными вопросами, MathWorks® Техническая поддержка может предоставить вам некоторые опции без документов. При запуске верификации из пользовательского интерфейса для ввода опций используйте поле Other на панели Configuration. Иногда опциям и их аргументам должны предшествовать дополнительные флаги. Предоставляя вам опцию, служба технической поддержки сообщит вам, если потребуются дополнительные флаги.
Возможные флаги: -extra-flags | -c-extra-flags | -cpp-extra-flags | -cfe-extra-flags | -il-extra-flags |
Пример (Bug Finder): Polyspace Bug Finder -extra-flags |
Пример (Code Prover):
Polyspace Code Prover -extra-flags -option-name |
Пример (Bug Finder Server): polyspace-bug-finder-server -extra-flags |
Пример (Код Prover Server):
Полипространство -code-prover-server -extra-flags -option-name |
