From ade013ae885df162b454c281ebd323c7ae9484a6 Mon Sep 17 00:00:00 2001
From: Pekka Enberg <penberg@iki.fi>
Date: Mon, 21 Jul 2025 12:56:20 +0300
Subject: [PATCH] antithesis: Add shuffle-run.sh helper script

---
 antithesis-tests/stress-composer/shuffle-run.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 antithesis-tests/stress-composer/shuffle-run.sh

diff --git a/antithesis-tests/stress-composer/shuffle-run.sh b/antithesis-tests/stress-composer/shuffle-run.sh
new file mode 100755
index 000000000..d4002d008
--- /dev/null
+++ b/antithesis-tests/stress-composer/shuffle-run.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+# Get list of parallel*.py files into an array
+test_drivers=($(find . -name "parallel*.py"))
+
+# Exit if no files found
+[ ${#test_drivers[@]} -eq 0 ] && exit 1
+
+while true; do
+    # Pick a random file from the array
+    file=${test_drivers[$RANDOM % ${#test_drivers[@]}]}
+    python "$file" || exit $?
+done