-ver

显示 Polyspace 产品的系统信息

语法

-ver

描述

-ver 可用于显示 Polyspace® 产品的系统信息。当您在 Polyspace 用户界面中选择帮助 > 关于时，也可以获得该信息。当您联系 MathWorks® 技术支持以解决运行 Polyspace 的问题时，此信息特别有用。

系统信息包括以下内容：

  • 许可证编号

  • 操作系统，例如：

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

  • 已安装的 Polyspace 产品和版本号（包括更新），例如：

    Installed Polyspace products:

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

  • 硬件配置，例如：

    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 许可证，例如：

    Polyspace related licenses and license feature names:

Polyspace Bug Finder: Polyspace_BF Polyspace_BF_Engine
Polyspace Code Prover: Polyspace_CP

示例

显示 Polyspace 产品的版本号和版本：

  • 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

另请参阅

主题