News for hackers. Stuff that matters.
Re:The Case for Formal Verification (2013) by meowface on Sunday April 20, 2014 @08:37PM (#7619071)
I had no idea sqlite put so much effort into testing. 84,300 lines of production code with 91,452,500 lines of testing code is pretty damn crazy.

I assume a lot of that code may be auto-generated, but it's still impressive regardless.

There are no comments on this comment yet.