How to fix gray checks and unreachable functions at Code Prover ?
4 views (last 30 days)
Show older comments
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 ?
0 Comments
Answers (1)
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.
0 Comments
See Also
Categories
Find more on Troubleshooting in Polyspace Products for Ada in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!