which are the files hold the justification comments in polyspace code prover.
조회 수: 1 (최근 30일)
이전 댓글 표시
I want to know the list of files which carries the justification comments which are visible in the report.if i know the files name i can copy and paste files in the another result so that when i give for Report Generation it considers those files while adding comments.I know there is another method in which we can import comments from the known results but, i want the list of files which holds the comments of report.Also , i want to know which file indicates what ,what does that file carry .
Thanks in advance
댓글 수: 0
답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Command-Line Only Options에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!