このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

-ver

Polyspace 製品のシステム情報の表示

構文

-ver


説明

-ver は、Polyspace^® 製品のシステム情報を表示します。この情報は、Polyspace ユーザー インターフェイスで [ヘルプ] 、 [Polyspace について] を選択することでも表示できます。この情報は、Polyspace 実行時の問題に関して MathWorks^® テクニカル サポートに問い合わせる際に特に役立ちます。

システム情報は以下で構成されます。

• ライセンス番号

• オペレーティング システム。次に例を示します。

  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

参考

トピック

• Polyspace 実行時の問題に関するテクニカル サポートへのお問い合わせ