Raft implemented & Several bug fixes (#19)

* Implemented ATC '14 version of Raft * Made snapshotting conservative * Added missing holes filling mechanism to Paxos variants * Several bug fixes
josehu07 · Oct 9, 2023 · 0d6aa24 · 0d6aa24
1 parent 043a157
commit 0d6aa24
Show file tree

Hide file tree

Showing 25 changed files with 3,933 additions and 720 deletions.
diff --git a/.github/workflows/tests_proc.yml b/.github/workflows/tests_proc.yml
@@ -16,5 +16,7 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
-    - name: Run proc tests
-      run: python3 scripts/workflow_test.py
+    - name: Run proc tests (MultiPaxos)
+      run: python3 scripts/workflow_test.py -p MultiPaxos
+    - name: Run proc tests (Raft)
+      run: python3 scripts/workflow_test.py -p Raft
diff --git a/.github/workflows/tests_unit.yml b/.github/workflows/tests_unit.yml
@@ -16,5 +16,5 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
-    - name: Run unit tests
+    - name: Run all unit tests
       run: cargo test --workspace --verbose