Main Content

-verif-version

Assign a version identifier

Syntax

-verif-version id

Description

-verif-version id assigns an identifier, id, to identify the analysis. You can use this identifier to refer to different analyses at the command line. For example, you can import comments from a previous analysis using the identifier.

The id you specify as the -verif-version is reported as the version at the start of the report generated from the analysis result.

Examples

Assign a verification identifier:

  • Bug Finder:

    polyspace-bug-finder -verif-version 1.3

  • Code Prover:

    polyspace-code-prover -verif-version 1.3

  • Bug Finder Server:

    polyspace-bug-finder-server -verif-version 1.3

  • Code Prover Server:

    polyspace-code-prover-server -verif-version 1.3

Tips

This option is not useful for Polyspace as You Code.

See Also

Topics