-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