Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes(unfix.dev)
1 pointby u-pump29 minutes ago2 comments