主要内容

-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

另请参阅

主题