Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes

Posted by u-pump 1 day ago