Merge branch 'main' into prepare-cbmc-6-build

tautschnig · Jul 24, 2024 · 13f7656 · 13f7656
2 parents b44ec3c + d66f0c2
commit 13f7656
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tests/perf/s2n-quic b/tests/perf/s2n-quic
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);