Comment Comment by thearrow The test suite explicitly verifies the architecture and the data structures used? Depends on the suite, I suppose. parent thearrow 5 months ago