Enable higher verbosity for benchmarking

Performance evaluation needs access to timing statistics.
tautschnig · Jul 24, 2024 · 16a5e31 · 16a5e31
1 parent 737d582
commit 16a5e31
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/performance/benchcomp-config.yaml b/.github/performance/benchcomp-config.yaml
@@ -14,12 +14,14 @@ variants:
       directory: /home/runner/work/cbmc/cbmc/aws-c-common.git
       env:
         PATH: /home/runner/work/cbmc/cbmc/old/build/bin:${PATH}
+        CBMC_VERBOSITY: --verbosity 9
   aws-c-common@new:
     config:
       command_line: cd verification/cbmc/proofs && ./run-cbmc-proofs.py
       directory: /home/runner/work/cbmc/cbmc/aws-c-common.git
       env:
         PATH: /home/runner/work/cbmc/cbmc/new/build/bin:${PATH}
+        CBMC_VERBOSITY: --verbosity 9
 
 run:
   suites: