Main Content

-ver

Display system information for Polyspace products

Syntax

-ver

Description

-ver displays the system information for your Polyspace® products. The information is also available when you select Help > About in the Polyspace user interface. This information is especially useful when you contact MathWorks® Technical Support about an issue with running Polyspace.

The system information consists of the following:

  • License number

  • Operating system, for instance:

    Operating System: Microsoft Windows 10 Enterprise Version 10.0 (Build 19045)

  • Installed Polyspace products and version numbers (including updates), for instance:

    Installed Polyspace products:

Polyspace Bug Finder                                        Version 3.8 (R2023a)
Polyspace Code Prover                                       Version 10.8 (R2023a)

  • Hardware configuration, for instance:

    Machine Hardware Configuration:

* Number of physical cores : 6
* Number of logical cores  : 12
* CPU frequency            : 3.600GHz
* CPU type                 : amd64
* Memory                   : 63.66GB
* Swap                     : 73.16GB
* tmp free space           : 34.33GB in C:\Users\agangopa\AppData\Local\Temp

  • Polyspace licenses available, for instance:

    Polyspace related licenses and license feature names:

Polyspace Bug Finder: Polyspace_BF Polyspace_BF_Engine
Polyspace Code Prover: Polyspace_CP

Examples

Display the version number and release of your Polyspace product:

  • Bug Finder:

    polyspace-bug-finder -ver

  • Code Prover:

    polyspace-code-prover -ver

  • Bug Finder Server:

    polyspace-bug-finder-server -ver

  • Code Prover Server:

    polyspace-code-prover-server -ver

Related Topics