Answer by Lee Mosher for Confusion on using "unless" more than once in proposition

I would just rewrite the highlighted sentence like this:

If the correctness of a computer program has not been established by some means, then no amount of testing can show that it produces the desired output for all input values unless every single input value is tested.