-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