3 ms·
Calling it verified seems like a stretch. When I think verified, I think seL4, CompCert, etc. The role of testing isn't verification, it's falsification.
by DanWaterworth 11y ago
Calling it verified seems like a stretch. When I think verified, I think seL4, CompCert, etc. The role of testing isn't verification, it's falsification.
- wkoszek 11y agoI agree it's a mistake. I made the change to the README.md and gave you a credit for spotting it. https://github.com/wkoszek/mini_printf/commit/fb096cabb5dcba3a1e081a68d9d3f1001ccc5f23 https://github.com/wkoszek/mini_printf/commit/fb096cabb5dcba...