Exponenta Banner

- выходное имя отчета

Задайте имя отчета

Синтаксис

-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 Code Prover
Поддержка