Создание отчетов

Дефектные отчеты, сводные отчеты, сообщают о шаблонах

Чтобы указать, что отчет должен быть сгенерирован от результатов верификации, используйте опции создания отчетов. Задайте то, что отчет должен содержать и формат отчета, например, PDF или Microsoft® Word.

Аналитические опции

Bug Finder and Code Prover report (-report-template)Задайте шаблон для генерации аналитического отчета
Output format (-report-output-format)Задайте выходной формат сгенерированного отчета
-report-output-nameЗадайте имя отчета