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