I don’t have any evidence either way, but proving that something works once, or even the vast majority of the time, is not sufficient to prove that a bug does not exist in some cases.