아래의 문서에서 자세한 내용을 확인하실 수 있습니다. (아래 문서는 R2021a 버전 기준입니다.)
R2024a 버전 문서의 설명을 가져오자면 아래와 같습니다.
Export Results From Command Line
Use the option -format csv with the polyspace-results-export command. For example, to generate a csv file from results file C:\Polyspace_Workspace\myProject\Module_1\BF_Result\ps_results.psbf, run this command:
polyspace-results-export -format csv -results-dir C:\Polyspace_Workspace\myProject\Module_1\BF_Result