Polyspace-configureに関する問題をMathWorksサポートに連絡する前に、デバッグログファイルを取得する方法をご案内いたします。
R2020a以前の場合
1. クリーンビルドの実施
polyspace-configureを再実行する前に、ビルドコマンドが再度Cおよび/またはC++ファイルをコンパイルするように、クリーンビルドを行ってください（つまり、オブジェクトファイルを削除します）。例えば、makeを使用している場合は、以下のコマンドを実行してください：
make clean
2. polyspace-configureの再実行
次に、以下のコマンドを実行します：
polyspace-configure -build-trace build_trace.log -keep-all-files -debug <your build command> > out.log 2>&1
3. ログファイルの送付
この手順で生成されたbuild_trace.logとout.logの2つのログファイルをサポートに送付してください。これらのファイルには知的財産（IP）情報は含まれていません。
さらに、polyspace-configureが設定ファイルを生成した場合、その設定ファイルを使用して実行されたPolyspaceのログファイルも併せて送付してください。
R2020a以降の場合
1. クリーンビルドの実施
polyspace-configureを使用する前に、古いビルドアーティファクトを削除してクリーンビルドを行い、すべてのソースファイルがビルド中にコンパイルされるようにします。
2. polyspace-configureの再実行
次に、以下のコマンドを実行します：
polyspace-configure ... -no-compiler-cache -easy-debug <folder> <your build command>
3. ログファイルの送付
<folder>にはzipファイルが含まれますので、そのzipファイルをサポートに送付してください。zipファイル内のファイルには知的財産（IP）情報は含まれていません。
さらに、polyspace-configureが設定ファイルを生成した場合、その設定ファイルを使用して実行されたPolyspaceのログファイルも併せて送付してください。
これらの手順に従うことで、問題の詳細を把握し、適切なサポートを受けるための情報を提供することができます。
