このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Configuration Parameters
解析オプション、仮定およびコーディング ルール構成のテーブルの作成
説明
このコンポーネントは、以下のテーブルを作成します。
Polyspace 設定:結果の取得に使用した解析オプション。このテーブルには、コマンド ライン バージョンのオプションとその値がリストされます。
解析の仮定:Code Prover の結果の取得に使用した仮定。このテーブルには、変更可能な仮定のみがリストされます。変更できない仮定については、Polyspace® のドキュメンテーションを参照してください。
コーディング ルール構成:違反をチェックしたコーディング ルール。このテーブルには、ルール番号、ルールの説明、ルールに関するその他の情報がリストされます。
コンパイル エラーが発生したファイル:プロジェクトのソース ファイルにコンパイル エラーがある場合は、これらのファイルがリストされます。