-verif-version

バージョン識別子の割り当て

構文

-verif-version id

説明

-verif-version id は、解析を識別するための識別子 (id) を割り当てます。この識別子を使用して、コマンド ラインでさまざまな解析を参照できます。たとえば、識別子を使用して以前の解析からコメントをインポートできます。

-verif-version として指定した id は、解析結果から生成されるレポートの先頭でバージョンとして報告されます。

例

検証識別子を割り当てます。

  • Bug Finder:

    polyspace-bug-finder -verif-version 1.3

  • Code Prover:

    polyspace-code-prover -verif-version 1.3

  • Bug Finder Server:

    polyspace-bug-finder-server -verif-version 1.3

  • Code Prover Server:

    polyspace-code-prover-server -verif-version 1.3

ヒント

このオプションは、Polyspace as You Code 解析では役立ちません。

参考

トピック