Exponenta Banner
exponenta event 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.

Примеры

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

  • Поиск ошибок:

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

  • Проверка кода:

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

  • Сервер поиска ошибок:

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

  • Сервер проверки кода:

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

Совет

Невозможно создать отчеты с кодом Polyspace.

См. также

|

Темы

Документация по программе проверки кода Polyspace

Поддержка