fabry2811
Senior Member
Italy - Italian
A tool, which detects dead statements, branches and paths in SPARK code....
What does dead means in this context!!!???
thanks you all
What does dead means in this context!!!???
thanks you all