weaselab/conflict-set
2
0
Fork 0
Code Issues 4 Packages Releases 13 Activity

Fix test-only bug in script test

Browse Source 
Previously conflict_set.py only worked for checking one read conflict
per call
This commit is contained in:
Andrew Noyes
2024-06-25 19:20:19 -07:00
parent e8ac78cce6
commit 2c0adf4a8b
3 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
conflict_set.py
View File

@@ -115,7 +115,9 @@ class ConflictSet:
def check(self, *reads: ReadRange) -> list[Result]: def check(self, *reads: ReadRange) -> list[Result]:
r = (ctypes.c_int * len(reads))() 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] return [Result(x) for x in r]
def setOldestVersion(self, version: int) -> None: def setOldestVersion(self, version: int) -> None:

1
paper/version.txt
View File

@@ -1 +0,0 @@
\providecommand{\versionnumber}{0.0.6}

2
test_conflict_set.py
View File

@@ -53,7 +53,7 @@ def test_conflict_set():
assert cs.getBytes() - before > 0 assert cs.getBytes() - before > 0
assert cs.check(read(0, key)) == [Result.CONFLICT] assert cs.check(read(0, key)) == [Result.CONFLICT]
cs.setOldestVersion(1) 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(): def test_inner_full_words():