Shorten MC run in CI verification to fit in CI timescale

microsoft · Oct 7, 2024 · 8264ab7 · 8264ab7
1 parent 874c3d4
commit 8264ab7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-verification.yml b/.github/workflows/ci-verification.yml
@@ -116,7 +116,7 @@ jobs:
 
       - run: ./tlc.py mc consensus/MCabs.tla
       - run: ./tlc.py --trace-name 1C2N mc --term-count 2 --request-count 2 --raft-configs 1C2N consensus/MCccfraft.tla
-      - run: ./tlc.py --trace-name 1C3N mc --term-count 2 --request-count 2 --raft-configs 1C3N consensus/MCccfraft.tla
+      - run: ./tlc.py --trace-name 1C3N mc --term-count 0 --request-count 3 --raft-configs 1C3N consensus/MCccfraft.tla
 
       - name: Upload TLC traces
         uses: actions/upload-artifact@v4