diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-24 14:45:32 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-24 14:45:32 +0100 |
| commit | fdb561309d34b5fd73f5233d73f8726c558b5755 (patch) | |
| tree | e545d8093fb6a7d3ed56ea8497d2d69fb5861f91 | |
| parent | c7b86fc70838e516f065fb390c68491b304e74f4 (diff) | |
| download | rust-fdb561309d34b5fd73f5233d73f8726c558b5755.tar.gz rust-fdb561309d34b5fd73f5233d73f8726c558b5755.zip | |
many-seeds: propagate failure properly
| -rw-r--r-- | src/tools/miri/miri-script/src/commands.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs index 7fff6ae80b4..cd127cd0322 100644 --- a/src/tools/miri/miri-script/src/commands.rs +++ b/src/tools/miri/miri-script/src/commands.rs @@ -380,9 +380,9 @@ impl Command { .env("MIRIFLAGS", miriflags) .quiet() .run(); - if status.is_err() { + if let Err(err) = status { println!("Failing seed: {seed}"); - break; + return Err(err.into()); } } Ok(()) |