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