From 733b141789743f71a7fb1dc8f448a94f771d0849 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 2 Jul 2022 16:06:23 -0400
Subject: [PATCH] ./miri many-seeds: also print the seed before we try it

---
 miri | 1 +
 1 file changed, 1 insertion(+)

diff --git a/miri b/miri
index 349cf818fb2..56e3f303481 100755
--- a/miri
+++ b/miri
@@ -55,6 +55,7 @@ COMMAND="$1"
 case "$COMMAND" in
 many-seeds)
     for SEED in $({ echo obase=16; seq 0 255; } | bc); do
+        echo "Trying seed: $SEED"
         MIRIFLAGS="$MIRIFLAGS -Zmiri-seed=$SEED" $@ || { echo "Failing seed: $SEED"; break; }
     done
     exit 0