def test_traversal_delete(self): RB = self.RB D = RB.E H = RB.H values = range(32) random.shuffle(values) for v in values: D = RecordTraversal(H).insert(v, D) d0 = D[0] random.shuffle(values) for v in values: T = RecordTraversal(H) D = T.delete(v, D) #invariants(D) R = ReplayTraversal(T.VO, H) assert R.delete(v, d0) == D[0] d0 = D[0]
def demo_recordreplay(): RB = MerkleRedBlack() D = RB.E print D for i in range(10): D = RB.insert(i, D) print D roothash = D[0] record = RecordTraversal() for i in range(10): D = record.delete(i, D) print D print record.VO replay = ReplayTraversal(record.VO) D = roothash for i in range(9): D = replay.delete(i, D) print D