You can't verify software is correct, it can always fail at time t+1. Basic configuration testing on PPC or other architectures would highlight a lot of the error-sensitive paths in the math libraries.
You can't verify software is correct, it can always fail at time t+1. Basic configuration testing on PPC or other architectures would highlight a lot of the error-sensitive paths in the math libraries.