You are right, I didn't think the example through. You are right, you can use tests to prove a function if - the function has very limited arguments and - the

You are right, I didn't think the example through. You are right, you can use tests to prove a function if - the function has very limited arguments and - the function is pure or does very limited amount of state change(side effect) Generally speaking tests are not the right tool for proving program correctness.