In Polyspace Code Prover 2016b , Facing issue such that mismatch in Unreachable functions comparatively in Dashboard in Result List .
1 view (last 30 days)
Show older comments
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 ?
0 Comments
Answers (1)
Anirban
on 8 Apr 2021
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 .
0 Comments
See Also
Categories
Find more on Interpret Results in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!