def test_read_old_after_timeout(self):
checker = LinearizabilityRegisterChecker()
checker.init("j3qq4", 0, "42")
checker.write_started("j3qq4", "h7h2v", 1, "43")
checker.write_timeouted("h7h2v")
checker.read_started("pid1")
checker.read_ended("pid1", "j3qq4", "42")
def test_can_commit_timeouted(self):
checker = LinearizabilityRegisterChecker()
checker.init("j3qq4", 0, "42")
checker.write_started("j3qq4", "h7h2v", 1, "43")
checker.write_started("h7h2v", "2hch4", 2, "44")
checker.write_timeouted("h7h2v")
checker.write_ended("2hch4")
