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