Add append scenario to CI (#5838)

microsoft · Nov 17, 2023 · a648fc3 · a648fc3
1 parent a6384ef
commit a648fc3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/.azure-pipelines-templates/trace_validation.yml b/.azure-pipelines-templates/trace_validation.yml
@@ -10,5 +10,6 @@ steps:
       set -ex
       cd tla/
       parallel 'JSON={} ./tlc.sh consensus/Traceccfraft.tla' ::: \
-      ../build/startup.ndjson
+      ../build/startup.ndjson \
+      ../build/append.ndjson
     displayName: "Run trace validation"
diff --git a/tests/trace_viz.py b/tests/trace_viz.py
@@ -5,12 +5,6 @@
 import json
 import rich
 
-"""
-TODO
-
-Add status on responses (votes and append entries)
-"""
-
 LEADERSHIP_STATUS = {
     "None": ":beginner:",
     "Leader": ":crown:",
@@ -34,6 +28,7 @@
     "become_leader": "BLea",
     "become_follower": "BFol",
     "commit": "Cmt",
+    "bootstrap": "Boot",
     None: "",
 }