In Polyspace Code Prover 2016b , Facing issue such that mismatch in Unreachable functions comparatively in Dashboard in Result List .

조회 수: 2 (최근 30일)
Shyam Prasad M
Shyam Prasad M 2021년 4월 5일
답변: Anirban 2021년 4월 8일
Hello Sir/Madam ,
Facing issue that while checking with unreachable functions . I found that the count was
In Dashboard - (745 /3161)
In Result List (by calculating) - Functions Not Called (614) + Functions Not Reachable (137) = 751.
6 Functions has been missed out in dashboard.Why such issue occuring ?

이 질문에 답변하려면 로그인하십시오.

답변 (1개)

Anirban
Anirban 2021년 4월 8일
Hi,
The two numbers should match. Please contact MathWorks Technical Support to help diagnose the issue for your code example: https://www.mathworks.com/support/contact_us.html .

카테고리

Help Center 및 File Exchange에서 Multitasking에 대해 자세히 알아보기

태그

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by