本页采用了机器翻译。点击此处可查看最新英文版本。

-v | -version

显示 Polyspace 版本号

语法

-v
-version

描述

-v 或 -version 显示您的 Polyspace® 产品的版本号。

示例

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

  • 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