mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

./miri many-seeds: also print the seed before we try it

Browse Source
This commit is contained in:
Ralf Jung 2022-07-02 16:06:23 -04:00
parent 5815d8d81c
commit 733b141789
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
miri
View File

@ -55,6 +55,7 @@ COMMAND="$1"
case "$COMMAND" in case "$COMMAND" in
many-seeds) many-seeds)
for SEED in $({ echo obase=16; seq 0 255; } | bc); do 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; } MIRIFLAGS="$MIRIFLAGS -Zmiri-seed=$SEED" $@ || { echo "Failing seed: $SEED"; break; }
done done
exit 0 exit 0