diff options
| author | bors <bors@rust-lang.org> | 2024-05-04 07:04:10 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-05-04 07:04:10 +0000 |
| commit | 38715f714faa490759d6e01e6b359b6a54e86ef3 (patch) | |
| tree | 5549bd793cd12e3338f7ef8a5fe1d082406fe3f1 /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | 74701dcef27cf587eb2cf3522b86edefc5340223 (diff) | |
| parent | f7a3aa9811aaadbd59b6d399b10f323de7f9647d (diff) | |
| download | rust-38715f714faa490759d6e01e6b359b6a54e86ef3.tar.gz rust-38715f714faa490759d6e01e6b359b6a54e86ef3.zip | |
Auto merge of #3548 - RalfJung:many-seeds, r=RalfJung
make many-seeds a mode of ./miri run rather than a separate command Also parallelize it so we use all cores to try seeds at the same time. Fixes https://github.com/rust-lang/miri/issues/3509 by not alternating between different build modes (with/without dev-dependencies) all the time.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions