How to fix gray checks and unreachable functions at Code Prover ?

3 次查看（过去 30 天）
Husnu umut Okur
Husnu umut Okur 2022-12-27
回答： Anirban 2023-1-3
Hello i get %50-75 percent unreachable functions and there are hundres of gray cheks when i look to gray lines i can not understand the exactly reason, because normally i use those functions. How can i fix gray checks and unreachable functions and are gray checks only unreachable code or what ?
In this stuation If i do not cover all the functions, aint i analyses all the project in code prover ?

请先登录，再回答此问题。

回答（1 个）

Anirban
Anirban 2023-1-3
The unreachable functions might indicate issues with project setup, some early red check, or some compilation issue. See Reasons for Unchecked Code.
For specific help in your case, please contact MathWorks Technical Support. See Contact MathWorks Technical Support.

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品


版本

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by