diff options
| author | bors <bors@rust-lang.org> | 2024-06-15 07:20:34 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-06-15 07:20:34 +0000 |
| commit | 3f2c50c541767d9be497849e31ad1202853886a3 (patch) | |
| tree | f017895b69b3c2abb5e4f16836ba660feb5bf840 /compiler/rustc_codegen_llvm/src/llvm_util.rs | |
| parent | 46c53327383730b971a6fe01946f9f3fd7ab215b (diff) | |
| parent | cfcea21074f922aa2fd184751842513e574b2e37 (diff) | |
| download | rust-3f2c50c541767d9be497849e31ad1202853886a3.tar.gz rust-3f2c50c541767d9be497849e31ad1202853886a3.zip | |
Auto merge of #3672 - RalfJung:cargo-many-seeds, r=RalfJung
cargo miri: add support for '--many-seeds' to run the program / tests many times with different seeds: `cargo miri run --many-seeds` / `cargo miri test --many-seeds`. `@rust-lang/miri` any opinion on the flag name here? Should it be `-Zmiri-many-seeds` or is `--many-seeds` fine? Fixes https://github.com/rust-lang/miri/issues/3546
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/llvm_util.rs')
0 files changed, 0 insertions, 0 deletions