From b8f78a091e9118d6f22517f3cf67ac67e165f4bd Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 22 Mar 2024 16:53:37 +0000
Subject: [PATCH] Simplify benchcomp configuration with new variables feature

With https://github.com/model-checking/kani/pull/3090 we can use
variables and don't need to hack the PATH configuration into the command
line.
---
 .github/performance/benchcomp-config.yaml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/performance/benchcomp-config.yaml b/.github/performance/benchcomp-config.yaml
index cca3144e103..c077a76721b 100644
--- a/.github/performance/benchcomp-config.yaml
+++ b/.github/performance/benchcomp-config.yaml
@@ -10,16 +10,16 @@
 variants:
   aws-c-common@old:
     config:
-      command_line: cd verification/cbmc/proofs && export PATH=/home/runner/work/cbmc/cbmc/old/build/bin:$PATH &&
-        ./run-cbmc-proofs.py
+      command_line: cd verification/cbmc/proofs && ./run-cbmc-proofs.py
       directory: /home/runner/work/cbmc/cbmc/aws-c-common.git
-      env: {}
+      env:
+        PATH: /home/runner/work/cbmc/cbmc/old/build/bin:${PATH}
   aws-c-common@new:
     config:
-      command_line: cd verification/cbmc/proofs && export PATH=/home/runner/work/cbmc/cbmc/new/build/bin:$PATH &&
-        ./run-cbmc-proofs.py
+      command_line: cd verification/cbmc/proofs && ./run-cbmc-proofs.py
       directory: /home/runner/work/cbmc/cbmc/aws-c-common.git
-      env: {}
+      env:
+        PATH: /home/runner/work/cbmc/cbmc/new/build/bin:${PATH}
 
 run:
   suites: