Run-time Checks Summary Ordered by File
実行時チェックがファイル別に並べ替えられているテーブルの作成 (Code Prover のみ)
説明
このコンポーネントは、コード内の Polyspace® Code Prover™ チェックの数をファイルごとに表示するテーブルを作成します。
プロパティ
Sort the data
テーブルの行をファイル名のアルファベット順または未証明のコードの割合で並べ替えるには、このオプションを使用します。
Display as
チェックの数をテーブルまたは棒グラフで表示するには、このオプションを使用します。
Display ratio of checks in a file
特定の色のチェックの数をファイル内のチェックの総数の比率として表示するには、このオプションを選択します。
Include checks from Polyspace standard library stub functions
Polyspace 標準ライブラリ スタブ関数のチェックを表示に含めるには、このオプションを選択します。
