diff --git a/conflict_set.py b/conflict_set.py index 04cfb54..5516087 100644 --- a/conflict_set.py +++ b/conflict_set.py @@ -115,7 +115,9 @@ class ConflictSet: def check(self, *reads: ReadRange) -> list[Result]: r = (ctypes.c_int * len(reads))() - self._lib.ConflictSet_check(self.p, *reads, r, 1) + self._lib.ConflictSet_check( + self.p, (ReadRange * len(reads))(*reads), r, len(reads) + ) return [Result(x) for x in r] def setOldestVersion(self, version: int) -> None: diff --git a/paper/version.txt b/paper/version.txt deleted file mode 100644 index f94e545..0000000 --- a/paper/version.txt +++ /dev/null @@ -1 +0,0 @@ -\providecommand{\versionnumber}{0.0.6} diff --git a/test_conflict_set.py b/test_conflict_set.py index 09bfe79..f5faba0 100644 --- a/test_conflict_set.py +++ b/test_conflict_set.py @@ -53,7 +53,7 @@ def test_conflict_set(): assert cs.getBytes() - before > 0 assert cs.check(read(0, key)) == [Result.CONFLICT] cs.setOldestVersion(1) - assert cs.check(read(0, key)) == [Result.TOO_OLD] + assert cs.check(read(0, key), read(1, key)) == [Result.TOO_OLD, Result.COMMIT] def test_inner_full_words():