run less tests in simulator in CI

This commit is contained in:
pedrocarlo 2025-07-05 21:24:21 -03:00
parent d8ad4a27f8
commit 1f2199ea44

View file

@ -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