> tests the compiled object code, not the source code That's not something you see called out very often. Correct code fed to a broken compiler can definitely

> tests the compiled object code, not the source code That's not something you see called out very often. Correct code fed to a broken compiler can definitely give you a broken binary. Likewise a correct binary will pass on a correct simulator and may fail on broken hardware.