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

 (unfix.dev)

2 points | by u-pump 4 hours ago ago

No comments yet.