It didn't fail "due to software", it failed because the analysis wasn't redone, that came to the conclusion that range checks, as specified by the Ada programming language, can be disabled to increase performance.