I can see that one of the function calls is marked as red NTC, however I do not see any red NTL or any other red checks inside the function body. I am not sure if I understand the results correctly.
MATLAB: Is the function call marked as red NTC when there is no red check in the function body
polyspacePolyspace Client for AdaPolyspace Client for C/C++Polyspace Code ProverPolyspace Code Prover ServerPolyspace Server for Ada
Best Answer