Version (-version)
Assign a source code version identifier to Polyspace Platform project
Description
Specify a version number or string to associate the current state of a Polyspace Platform project with a specific version of your source code.
Set Option
Set the option using one of these methods:
Polyspace Platform user interface (desktop products only): In your project configuration, enter a version number or string for this option on the Project tab.
Command line and options file: Use the option
-verif-version. See Command-Line Information.
Why Use This Option
Use this option to associate the current state of a Polyspace® Platform project with a specific version of your source code. The version appears in static analysis logs and reports generated from static analysis, test, or profiling results.
Settings
Enter a version (the default value for a newly created project is 1.0). The entry can be an arbitrary string including:
A simple number, for instance,
1.0.A full version number with tags, for instance
1.1.23 (stable).A Git hash, for instance,
a1b2c3d4e5f67890abcdef1234567890abcdef12.
Command-Line Information
Parameter:
-verif-version |
Value:
|
Example (Bug Finder):
polyspace-bug-finder -sources |
Example (Code Prover):
polyspace-code-prover -sources |
Example (Bug Finder Server):
polyspace-bug-finder-server -sources |
Example (Code Prover Server):
polyspace-code-prover-server -sources |
