Hacker News Reader

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.

View on HN

I 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/fb096cabb5dcba...

Reply on news.ycombinator.com