Simplify benchcomp configuration with new variables feature

With model-checking/kani#3090 we can use variables and don't need to hack the PATH configuration into the command line.
tautschnig · Mar 22, 2024 · b8f78a0 · b8f78a0
1 parent 5453654
commit b8f78a0
Showing 1 changed file with 6 additions and 6 deletions.
diff --git 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: