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 311efbc52 test(oracle): reject duplicate history ids
311efbc52 is described below
commit 311efbc52ab2ae49d03976d3bdbe1eebd3d78bce
Author: vaughn <[email protected]>
AuthorDate: Sun Sep 13 15:28:39 2026 +0800
test(oracle): reject duplicate history ids
---
tools/raft-linearizability/test_checker.py | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/tools/raft-linearizability/test_checker.py
b/tools/raft-linearizability/test_checker.py
index 70344b4fc..5d5b7e917 100644
--- a/tools/raft-linearizability/test_checker.py
+++ b/tools/raft-linearizability/test_checker.py
@@ -51,3 +51,12 @@ def test_invalid_operation_is_rejected():
"start": 0, "end": 1}])
assert not ok
assert detail == "invalid operation"
+
+
+def test_duplicate_operation_id_is_rejected():
+ ok, detail = checker.check([
+ {"id": 1, "op": "write", "value": 1, "start": 0, "end": 1},
+ {"id": 1, "op": "read", "value": 1, "start": 1, "end": 2},
+ ])
+ assert not ok
+ assert detail == "duplicate operation id"
