-date

解析の日付の指定

構文

-date "date"

説明

-date "date" は、解析の日付スタンプを dd/mm/yyyy の形式で指定します。既定では、値は解析の開始日です。

ユーザー インターフェイス (Polyspace® デスクトップ製品のみ) では、[構成] ペインの [その他] フィールドにこのオプションを入力します。Otherを参照してください。

例

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

  • Bug Finder:

    polyspace-bug-finder -date "15/03/2012"

  • Code Prover:

    polyspace-code-prover -date "15/03/2012"

  • Bug Finder Server:

    polyspace-bug-finder-server -date "15/03/2012"

  • Code Prover Server:

    polyspace-code-prover-server -date "15/03/2012"

ヒント

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

参考

トピック