Comment by jimbokun
8 hours ago
Yes, compilers are a good candidate for verification through thorough testing. If a comprehensive test suite passes, reviewing every line of code isn’t so important.
8 hours ago
Yes, compilers are a good candidate for verification through thorough testing. If a comprehensive test suite passes, reviewing every line of code isn’t so important.
That's why Anthropics C compiler worked so well; because they had gcc's huge repository of tests to lean on. Oh wait...