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