undefined

points

[-]

Because it passes the existing test suite? And he knows what's in the test suite?

[-]

The test suite explicitly verifies the architecture and the data structures used? Depends on the suite, I suppose.