I'd be kind of surprised if Knuth didn't write tests. I'd expect him to formally prove every single line of his code. In any event, I find that using literate

I'd be kind of surprised if Knuth didn't write tests. I'd expect him to formally prove every single line of his code. In any event, I find that using literate programming results in less buggy and more comprehensive code.