From 54fbd313a6f08681a02d51fdafa321cb6a14d87e Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 25 Jun 2022 12:27:50 -0400
Subject: [PATCH] README: multi-seed loop: also test the 0 seed

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index f6b2413c65f5..7f373f078a09 100644
--- 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
 ```