News for hackers. Stuff that matters.

A comment on The CompCert C Compiler. Parent comment

Re:The CompCert C Compiler by aidenn0 on Monday May 27, 2024 @12:09AM (#40487480)
IIRC Regehr found a bug when testing compcert. It turned out to be a bug in a standard header file. Similar idea of bugs due to incomplete verification.
[ Parent | on HN ]

There are no comments on this comment yet.