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