Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes(unfix.dev)
10 points by u-pump | 0 comments
Product page for Unfix, a deterministic verifier that checks whether AI- or human-written C/C++ and firmware bug fixes truly fix bugs by reproducing, applying, and reverting them.