-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，此选项无用。

另请参阅

主题