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

README: multi-seed loop: also test the 0 seed
rust-lang · Jun 25, 2022 · e3d42e6 · e3d42e6
2 parents 1589ba3 + 54fbd31
commit e3d42e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 ```