Code and Verification Information

创建验证时间和代码特性表

描述

此组件创建包含验证时间和代码特性（例如行数）的表。

属性

包含验证时间信息

如果您选择此选项，则报告将包含按阶段细分的验证时间。

  • 对于 Polyspace® Bug Finder™，阶段是 compilation、pass0、pass1，等等。

  • 对于 Polyspace Code Prover™，阶段是 compilation、global、function，等等。

包含代码详细信息

如果您选择此选项，则报告将包含以下代码特性：

  • 文件数

  • 行数

  • 无注释行数

另请参阅

主题