Main Content
-v | -version
Display Polyspace version number
Syntax
-v
-version
Description
-v
or -version
displays
the version number of your Polyspace® product.
Examples
Display the version number and release of your Polyspace product:
Bug Finder:
polyspace-bug-finder -v
Code Prover:
polyspace-code-prover -v
Bug Finder Server:
polyspace-bug-finder-server -v
Code Prover Server:
polyspace-code-prover-server -v