Чтобы указать, что отчет должен быть сгенерирован от результатов верификации, используйте опции создания отчетов. Задайте то, что отчет должен содержать и формат отчета, например, PDF или Microsoft® Word.
Bug Finder and Code Prover report (-report-template) | Задайте шаблон для генерации аналитического отчета |
Output format (-report-output-format) | Задайте выходной формат сгенерированного отчета |
-report-output-name | Задайте имя отчета |
Подготовьте скрипты к анализу Polyspace
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
