This is an automated email from the ASF dual-hosted git repository.
zyxxoo pushed a commit to branch refactor/rust-rewrite-design
in repository https://gitbox.apache.org/repos/asf/hugegraph.git
The following commit(s) were added to refs/heads/refactor/rust-rewrite-design
by this push:
new bef36303f test(oracle): lock invalid operation behavior
bef36303f is described below
commit bef36303f200512e1d80afa91ad1acc2976006ba
Author: vaughn <[email protected]>
AuthorDate: Sun Sep 13 15:24:49 2026 +0800
test(oracle): lock invalid operation behavior
---
tools/raft-linearizability/test_checker.py | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/tools/raft-linearizability/test_checker.py
b/tools/raft-linearizability/test_checker.py
index 9ec063776..8dc40edeb 100644
--- a/tools/raft-linearizability/test_checker.py
+++ b/tools/raft-linearizability/test_checker.py
@@ -34,3 +34,10 @@ def test_overlapping_writes_and_reads_are_not_linearizable():
{"id": 3, "op": "read", "value": 1, "start": 4, "end": 5},
{"id": 4, "op": "read", "value": 2, "start": 6, "end": 7}]
assert not checker.check(h)[0]
+
+
+def test_invalid_operation_is_rejected():
+ ok, detail = checker.check([{"id": 1, "op": "delete", "value": 0,
+ "start": 0, "end": 1}])
+ assert not ok
+ assert detail == "invalid operation"
