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

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 ?

Answer 1

[Anirban]

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 .