Install variant-specific dependencies

model-checking · Jul 24, 2024 · 85092ed · 85092ed
1 parent f60db0e
commit 85092ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/benchcomp/configs/perf-regression.yaml b/tools/benchcomp/configs/perf-regression.yaml
@@ -10,13 +10,13 @@ variants:
  kani_new:
  config:
  directory: new
- command_line: scripts/kani-perf.sh
+ command_line: "scripts/setup/ubuntu/install_deps.sh && scripts/kani-perf.sh"
  env:
  RUST_TEST_THREADS: "1"
  kani_old:
  config:
  directory: old
- command_line: scripts/kani-perf.sh
+ command_line: "scripts/setup/ubuntu/install_deps.sh && scripts/kani-perf.sh"
  env:
  RUST_TEST_THREADS: "1"