From 1f2199ea44aaef8e480638cc564ad3be01430e2a Mon Sep 17 00:00:00 2001 From: pedrocarlo Date: Sat, 5 Jul 2025 21:24:21 -0300 Subject: [PATCH] run less tests in simulator in CI --- scripts/run-sim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/run-sim b/scripts/run-sim index 9985a70f3..768e36dd5 100755 --- a/scripts/run-sim +++ b/scripts/run-sim @@ -21,7 +21,7 @@ if [[ -n "$iterations" ]]; then echo "Running limbo_sim for $iterations iterations..." for ((i=1; i<=iterations; i++)); do echo "Iteration $i of $iterations" - cargo run -p limbo_sim + cargo run -p limbo_sim -- --maximum-tests 2000 done echo "Completed $iterations iterations" else