Define as Not called by generated main
조회 수: 1 (최근 30일)
이전 댓글 표시
What is actually polyspace doing when we define a file as not called by generated main. sometimes when i select this the results were same,nothing had changed . how it effects the working of polyspace code prover analysis
thanks in advanvce
댓글 수: 0
답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Run Settings에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!