Where can I find the Polyspace client-side verification log?
조회 수: 10 (최근 30일)
이전 댓글 표시
MathWorks Support Team
2012년 3월 28일
편집: MathWorks Support Team
2019년 4월 4일
We explain here where is located the Polyspace verification log
채택된 답변
MathWorks Support Team
2019년 4월 4일
The verification log is located in the results folder. Its name is
Polyspace_<release>_<Project>_<date>.log
Please note that the log file is complete after the end of the verification. It contains only the beginning of the verification (the compilation phase) when the verification is running on a server.
When the verification is finished, the results are downloaded and this log file is updated.
A log file is created for each verification, so a results folder used for several verifications can then contain several log files.
Until Polyspace R2013a, the file *_LAST_RESULTS.rte (also downloaded to the results folder when the remote verification is finished) is a textual file that contains the name of the log to consider (see the last line). Since Polyspace R2013b, only the date allows to know the log file to consider.
댓글 수: 0
추가 답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Troubleshooting in Polyspace Products for Ada에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!