Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes2 points by u-pumpRead the articleDiscussion on Hacker News