Main Content

Output format (-report-output-format)

Specify output format of generated report

Description

Specify output format of analysis report.

Set Option

User interface (desktop products only): In your project configuration, the option is on the Reporting node. See Dependencies for other options you must also enable.

User interface (Polyspace Platform, desktop products only): In your project configuration, the option is on the Static Analysis tab on the Reporting node. See Dependencies for other options you must also enable.

Command line and options file: Use the option -report-output-format. See Command-Line Information.

Why Use This Option

Use this option to specify whether you want a report in PDF, HTML or another format.

Settings

Default: Word

HTML

Generate report in .html format

PDF

Generate report in .pdf format

Word

Generate report in .docx format.

Tips

  • This option allows you to specify report generation before starting an analysis.

    To generate a report after an analysis is complete, in the user interface of the Polyspace® desktop products, select Reporting > Run Report. Alternatively, at the command line, use the polyspace-report-generator command.

    After analysis, you can also export the result as a text file for further customization. Use the option -generate-results-list-file with the polyspace-report-generator command.

  • If the table of contents or graphics in a .docx report appear outdated, select the content of the report and refresh the document. Use keyboard shortcuts Ctrl+A to select the content and F9 to refresh it.

Dependencies

In the user interface of the Polyspace desktop products, this option is enabled only if you select the Generate report option.

Command-Line Information

Parameter: -report-output-format
Value: html | pdf | word
Default: word
Example (Bug Finder): polyspace-bug-finder -sources file_name -report-output-format pdf
Example (Code Prover): polyspace-code-prover -sources file_name -report-output-format pdf
Example (Bug Finder Server): polyspace-bug-finder-server -sources file_name -report-output-format pdf
Example (Code Prover Server): polyspace-code-prover-server -sources file_name -report-output-format pdf

See Also

| |

Topics