From 1df1f7afc55e0b74bb91044fa33e3d6ca12dd7b0 Mon Sep 17 00:00:00 2001 From: Pekka Enberg Date: Tue, 14 Jan 2025 17:19:58 +0200 Subject: [PATCH] Add scripts/run-sim helper ...to run the simulator in a loop with different seeds. --- scripts/run-sim | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 scripts/run-sim diff --git a/scripts/run-sim b/scripts/run-sim new file mode 100755 index 000000000..69192eaca --- /dev/null +++ b/scripts/run-sim @@ -0,0 +1,7 @@ +#!/bin/bash + +set -e + +while true; do + cargo run -p limbo_sim +done