Right exactly. So to my original point, are tests enough? Would code, apart from machine code, be irrelevant at this point? How do I inspect the program? Do I n

Right exactly. So to my original point, are tests enough? Would code, apart from machine code, be irrelevant at this point? How do I inspect the program? Do I need to?