Recreating longer counterexamples such as those coming out of the sim…

…ulator is significantly faster when deserialized from TLC's binary format as opposed to the textual record in TTrace.tla. (#5761)
microsoft · Oct 23, 2023 · 499f170 · 499f170
1 parent c08a8c5
commit 499f170
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/tlaplus.yml b/.github/workflows/tlaplus.yml
@@ -40,6 +40,7 @@ jobs:
           name: tlc
           path: |
             tla/consensus/*_TTrace_*.tla
+            tla/consensus/*_TTrace_*.bin
             tla/*.trace.tla
             tla/*.json
 
@@ -63,6 +64,7 @@ jobs:
           name: tlc
           path: |
             tla/consensus/*_TTrace_*.tla
+            tla/consensus/*_TTrace_*.bin
             tla/*.trace.tla
             tla/*.json