-date

指定分析日期

语法

-date "date"

-date "date" 以 dd/mm/yyyy 格式指定分析的日期戳。默认情况下，该值是分析开始的日期。

在用户界面（仅限 Polyspace^® 桌面端产品）中，在配置窗格的其他字段中输入此选项。请参阅其他。

为您的 Polyspace 工程指定一个日期：

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 分析不需要此选项。