mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix comment in ./miri

Browse Source
This commit is contained in:
Ralf Jung 2022-07-07 08:20:24 -04:00
parent e7025223db
commit 52abae6826
1 changed files with 1 additions and 1 deletions
Show Stats 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`. Format all sources and tests. <flags> are passed to `rustfmt`.
./miri clippy <flags>: ./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>: ./miri many-seeds <command>:
Runs <command> over and over again with different seeds for Miri. The MIRIFLAGS Runs <command> over and over again with different seeds for Miri. The MIRIFLAGS