Auto merge of #2311 - RalfJung:many-seeds, r=RalfJung

./miri many-seeds: also print the seed before we try it When using `cargo miri`, we otherwise have no way of even seeing which seed it is currently on.
2022-07-02 20:08:28 +00:00 · 2022-07-02 20:08:28 +00:00 · c9925ff7f4
commit c9925ff7f4
parent f76ebd6feb 733b141789
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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