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 y

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.