search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.16k stars 318 forks source link

make many-seeds a mode of ./miri run rather than a separate command #3548

Closed RalfJung closed 2 months ago

RalfJung commented 2 months ago

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.

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit f399ed23678ff15831588272cc1343a5398ff7be has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit f399ed23678ff15831588272cc1343a5398ff7be with merge 4f849b526e3e58910a10d6ee5e501955ad0759f2...

RalfJung commented 2 months ago

@bors retry r+

bors commented 2 months ago

:pushpin: Commit 6b93ac6078d65cb7ea3810c06f41cd02c489c991 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 6b93ac6078d65cb7ea3810c06f41cd02c489c991 with merge ad6d4acf6c00b925a8b01e5f48fc304de25a7329...

bors commented 2 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing ad6d4acf6c00b925a8b01e5f48fc304de25a7329 to master...