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

Auto merge of #2343 - RalfJung:comment, r=RalfJung

Browse source 
fix comment in ./miri

pointed out in https://github.com/rust-lang/miri/pull/2288#discussion_r915445912
This commit is contained in:
bors 2022-07-07 12:20:53 +00:00
commit 622963a2df
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
miri
View file

@ -30,7 +30,7 @@ times and slower execution times.
Format all sources and tests. <flags> are passed to `rustfmt`.
./miri clippy <flags>:
Format all sources and tests. <flags> are passed to `cargo clippy`.
Runs clippy on all sources. <flags> are passed to `cargo clippy`.
./miri many-seeds <command>:
Runs <command> over and over again with different seeds for Miri. The MIRIFLAGS