3 ms·

While this would allow you to prove the presence of exceptions, it won't prove the absence of exceptions.