Skip to content

Commit 2f18734

Browse files
committed
Document arguments and interesting flags
1 parent 756c243 commit 2f18734

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

src/tools/miri/tests/compiletest.rs

+3-1
Original file line numberDiff line numberDiff line change
@@ -268,11 +268,13 @@ fn main() -> Result<()> {
268268

269269
fn run_dep_mode(target: String, mut args: impl Iterator<Item = OsString>) -> Result<()> {
270270
let path = args.next().expect("./miri run-dep must be followed by a file name");
271-
let mut config = test_config(&target, "", Mode::Yolo, true);
271+
let mut config = test_config(&target, "", Mode::Yolo, /* with dependencies */ true);
272272
config.program.args.remove(0); // remove the `--error-format=json` argument
273273
config.program.args.push("--color".into());
274274
config.program.args.push("always".into());
275275
let mut cmd = ui_test::test_command(config, Path::new(&path))?;
276+
// Separate the arguments to the `cargo miri` invocation from
277+
// the arguments to the interpreted prog
276278
cmd.arg("--");
277279
cmd.args(args);
278280
println!("{cmd:?}");

0 commit comments

Comments
 (0)