From 3291785a00751b86e6adc4915750cebfc7d07a45 Mon Sep 17 00:00:00 2001
From: Heidi Howard <1835251+heidihoward@users.noreply.github.com>
Date: Mon, 22 Jul 2024 16:31:10 +0000
Subject: [PATCH] upping the number of simulations in ci

---
 .github/workflows/tla.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/tla.yml b/.github/workflows/tla.yml
index 10e9fb9..34aa40a 100644
--- 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
\ No newline at end of file
+        run: tlc -workers auto -simulate num=1000 pbft.tla
\ No newline at end of file