Auto merge of #2265 - RalfJung:readme, r=RalfJung

README: multi-seed loop: also test the 0 seed
2022-06-25 16:29:38 +00:00 · 2022-06-25 16:29:38 +00:00 · e3d42e6963
commit e3d42e6963
parent 1589ba3bbc 54fbd313a6
1 changed files with 1 additions and 1 deletions
--- a/README.md
+++ b/README.md
@ -192,7 +192,7 @@ randomness that is used to determine allocation base addresses. The following
 snippet calls Miri in a loop with different values for the seed:

 ```
-for seed in $({ echo obase=16; seq 255; } | bc); do
+for seed in $({ echo obase=16; seq 0 255; } | bc); do
  MIRIFLAGS=-Zmiri-seed=$seed cargo miri test || { echo "Last seed: $seed"; break; };
 done
 ```