-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
```