How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?
조회 수: 5 (최근 30일)
이전 댓글 표시
Can anyone please specify the syntax, how and where to use the command to do the above specified function.
댓글 수: 0
채택된 답변
Alexandre De Barros
2019년 8월 23일
Hi,
there is no way to convert a .psprj to a text options so to speak, but if you go one of the results folder of your project, then into the subfolder .settings, you will find the file options_command.txt. This text file contains the options of the project.
Best regards,
Alexandre
추가 답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Generate Report에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!