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

4 views (last 30 days)
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 ?

Answers (1)

Anirban
Anirban on 3 Jan 2023
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.

Categories

Find more on Troubleshooting in Polyspace Products for Ada in Help Center and File Exchange

Products


Release

R2020b

Community Treasure Hunt

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

Start Hunting!