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

3 vues (au cours des 30 derniers jours)
Husnu umut Okur
Husnu umut Okur le 27 Déc 2022
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 ?

Réponses (1)

Anirban
Anirban le 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.

Catégories

En savoir plus sur Troubleshooting in Polyspace Products for Ada dans Help Center et File Exchange

Produits


Version

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by