How to fix gray checks and unreachable functions at Code Prover ?
조회 수: 1 (최근 30일)
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 ?