-prog

プロジェクト名の指定

構文

-prog projectName

説明

-prog projectName は、Polyspace® プロジェクトの名前を指定します。この名前には、文字、数字、アンダースコア (_)、ダッシュ (-) またはピリオド (.) のみを使用しなければなりません。

名前は解析ログおよびその他数か所に表示されます。

例

Polyspace プロジェクトに名前を割り当てます。

  • Bug Finder:

    polyspace-bug-finder -prog MyApp

  • Code Prover:

    polyspace-code-prover -prog MyApp

  • Bug Finder Server:

    polyspace-bug-finder-server -prog MyApp

  • Code Prover Server:

    polyspace-code-prover-server -prog MyApp

ヒント

このオプションは、Polyspace as You Code 解析では必要ありません。

参考

|

トピック