Show HN: Green tests are not proof – verifier for C/C++ and firmware fixesunfix.dev
10 points by u-pump 2 days ago | 0 comments