Exponenta Banner

-report-output-name

Укажите имя отчета

Синтаксис

-report-output-name reportName

Описание

-report-output-name reportName задает имя отчета анализа.

Имя по умолчанию для отчета Prog_Template.Format:

  • Prog - имя проекта, заданное как -prog.

  • TemplateName - тип шаблона отчета, заданный в -report-template.

  • Format - расширение файла для отчета, заданное как -report-output-format.

Если вы запускаете анализ из пользовательского интерфейса (Polyspace® только для продуктов), на панели Configuration, можно ввести эту опцию в поле Other. См. Other.

Примеры

Укажите имя отчета по анализу:

  • Bug Finder:

    polyspace-bug-finder -report-template Developer -report-output-name Airbag_v3.doc

  • Code Prover:

    polyspace-code-prover -report-template Developer -report-output-name Airbag_v3.doc

  • Сервер Bug Finder:

    polyspace-bug-finder-server -report-template Developer -report-output-name Airbag_v3.doc

  • Код Code Prover:

    polyspace-code-prover-server -report-template Developer -report-output-name Airbag_v3.doc

Совет

Вы не можете генерировать отчеты с Polyspace в качестве кода.

См. также

|

Темы

Документация Polyspace Bug Finder

Поддержка