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

レポート

レポートの生成

検証結果からレポートを生成しなければならないことを指定するには、レポート オプションを使用します。レポートに含めなければならない内容と、PDF や Microsoft® Word などのレポートの形式を指定します。

Polyspace オプション

レポートの生成解析後にレポートを生成するかどうかの指定
Bug Finder と Code Prover のレポート (-report-template)解析レポートを生成するためのテンプレートの指定
出力形式 (-report-output-format)生成されるレポートの出力形式の指定

トピック

関連情報