antithesis: Add shuffle-run.sh helper script

This commit is contained in:
Pekka Enberg
2025-07-21 12:56:20 +03:00
parent 29e7b41ca5
commit ade013ae88

View File

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