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