Merge branch 'main' into mutable-body-ext

model-checking · Jul 24, 2024 · 3c38563 · 3c38563
2 parents 7ca9a0e + d66f0c2
commit 3c38563
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/compiletest/src/runtest.rs b/tools/compiletest/src/runtest.rs
@@ -272,14 +272,14 @@ impl<'test> TestCx<'test> {
  .arg("kani")
  .arg("--target-dir")
  .arg(self.output_base_dir().join("target"))
- .current_dir(parent_dir)
- .args(&self.config.extra_args);
+ .current_dir(parent_dir);
  if test {
  cargo.arg("--tests");
  }
  if "expected" != self.testpaths.file.file_name().unwrap() {
  cargo.args(["--harness", function_name]);
  }
+ cargo.args(&self.config.extra_args);
 
  let proc_res = self.compose_and_run(cargo);
  self.verify_output(&proc_res, &self.testpaths.file);