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

many-seeds: propagate failure properly

Browse Source
This commit is contained in:
Ralf Jung 2024-03-24 14:45:32 +01:00
parent c7b86fc708
commit fdb561309d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/miri-script/src/commands.rs
View File

@ -380,9 +380,9 @@ fn many_seeds(command: Vec<OsString>) -> Result<()> {
.env("MIRIFLAGS", miriflags) .env("MIRIFLAGS", miriflags)
.quiet() .quiet()
.run(); .run();
if status.is_err() { if let Err(err) = status {
println!("Failing seed: {seed}"); println!("Failing seed: {seed}");
break; return Err(err.into());
} }
} }
Ok(()) Ok(())