Hacker News Reader

But what if there's a bug in your contract?

Then there's a bug in your thought process. It's easier to fix a contract than to fix the N unit-tests which basically spell out that same contract :|

The unit tests are the contract. That's the point.

Reply on news.ycombinator.com