Code and Verification Information
検証時間とコード特性のテーブルの作成
説明
このコンポーネントは、検証時間と行数などのコード特性を示すテーブルを作成します。
プロパティ
Include Verification Time Information
このオプションを選択すると、レポートに段階別の検証時間が表示されます。
Polyspace® Bug Finder™ の場合、段階には
compilation、pass0、pass1などがあります。Polyspace Code Prover™ の場合、段階には
compilation、global、functionなどがあります。
Include Code Details
このオプションを選択すると、レポートに次のコード特性が表示されます。
ファイル数
行数
コメントのない行の数
