It's a comment on hacker news illustrating a point, not a guide of how to write test cases.

The point is that it is possible to have good test coverage and still have bugs that are best found by humans.