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.

Примеры

Задайте имя аналитического отчета:

  • Bug Finder:

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

  • Программа автоматического доказательства кода:

    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

  • Сервер программы автоматического доказательства кода:

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

Советы

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

Смотрите также

|

Темы

Документация Polyspace Code Prover

Поддержка