Code Prover Unreachable code and function

When i analys my code i get too many unreachable functions but i know i called more function than what dashboard shows me. Also in gray check, i see unreachable code so i could not understand difference between unreachable code and unreachable functions.

Answer 1

[Anirban]

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.