メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Configuration Parameters

解析オプション、仮定およびコーディング ルール構成のテーブルの作成

説明

このコンポーネントは、以下のテーブルを作成します。

  • Polyspace 設定:結果の取得に使用した解析オプション。このテーブルには、コマンド ライン バージョンのオプションとその値がリストされます。

  • 解析の仮定:Code Prover の結果の取得に使用した仮定。このテーブルには、変更可能な仮定のみがリストされます。変更できない仮定については、Polyspace® のドキュメンテーションを参照してください。

  • コーディング ルール構成:違反をチェックしたコーディング ルール。このテーブルには、ルール番号、ルールの説明、ルールに関するその他の情報がリストされます。

  • コンパイル エラーが発生したファイル:プロジェクトのソース ファイルにコンパイル エラーがある場合は、これらのファイルがリストされます。