-report-output-name

指定报告的名称

语法

-report-output-name reportName

描述

-report-output-name reportName 指定分析报告的名称。

报告的默认名称为 Prog_Template.Format：

  • Prog 是由 -prog 指定的工程的名称。

  • TemplateName 是由 -report-template 指定的报告模板的类型。

  • Format 是由 -report-output-format 指定的报告文件扩展名。

在用户界面（仅限 Polyspace® 桌面端产品）中，在配置窗格的其他字段中输入此选项。请参阅其他。

示例

指定分析报告的名称：

  • 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 Server：

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

  • Code Prover Server：

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

提示

您无法使用 Polyspace as You Code 生成报告。

另请参阅

|

主题