user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

README: multi-seed loop: also test the 0 seed

Browse source
This commit is contained in:
Ralf Jung 2022-06-25 12:27:50 -04:00
parent 1589ba3bbc
commit 54fbd313a6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -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
```