MATLAB Answers

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

1 view (last 30 days)
Shyam Prasad M
Shyam Prasad M on 5 Apr 2021
Answered: Anirban on 8 Apr 2021
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 ?

Community Treasure Hunt

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

Start Hunting!