upping the number of simulations in ci

heidihoward · Jul 22, 2024 · 3291785 · 3291785
1 parent 536652d
commit 3291785
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tla.yml b/.github/workflows/tla.yml
@@ -36,4 +36,4 @@ jobs:
       - name: Sany
         run: sany *.tla
       - name: Random exploration with TLC
-        run: tlc -workers auto -simulate num=100 pbft.tla
+        run: tlc -workers auto -simulate num=1000 pbft.tla