3 ms·
I'd rather hear: "The compiled code has gone through all tests in the comprehensive, human-expert-written, standardized test suite correctly" Compiling does no
by gloflo 2y ago
I'd rather hear: "The compiled code has gone through all tests in the comprehensive, human-expert-written, standardized test suite correctly"
Compiling does not differentiate between True and False, so no safety for that escape pod door.
- literalAardvark 2y agoI took that as part of the build process. But I definitely want as much as possible to be automated and formally correct, which is why I wrote what I wrote.