[kaba0]

For some code, yes. What about a complete refactor of the core functionality of said program, with parallelism and the like?

[cheph]

I misread the comment I think, but either way, I am not arguing against automated tests, I was just trying to point out that for some fragments of a code base you should absolutely be able to tell correctness by looking at it.