-report-output-name

Specify name of report

Syntax

-report-output-name reportName

Description

-report-output-name reportName specifies the name of an analysis report.

The default name for a report is Prog_Template.Format:

  • Prog is the name of the project specified by -prog.

  • TemplateName is the type of report template specified by -report-template.

  • Format is the file extension for the report specified by -report-output-format.

In the user interface (Polyspace® desktop products only), on the Configuration pane, enter this option in the Other field. See Other.

Examples

Specify the name of the analysis report:

  • 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

Tips

You cannot generate reports with Polyspace as You Code.

See Also

|

Topics