feat: intergrate jepsen-rs

Signed-off-by: lxl66566 <[email protected]>
xline-kv · Sep 20, 2024 · 586ec4d · 586ec4d
1 parent 689663d
commit 586ec4d
Show file tree

Hide file tree

Showing 9 changed files with 275 additions and 25 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,6 +2,7 @@
 # will have compiled files and executables
 debug/
 target/
+dom_top/
 
 
 # These are backup files generated by rustfmt

diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,7 @@
 [submodule "curp/proto/common"]
 	path = crates/curp/proto/common
 	url = https://github.com/xline-kv/curp-proto.git
+[submodule "crates/jepsen-rs"]
+	path = crates/jepsen-rs
+	url = https://github.com/lxl66566/jepsen-rs.git
+	branch = main