Dump full benchcomp YAML results in CI (model-checking#2401)

This ensures that users can copy-and-paste the benchcomp results and investigate them locally.
celinval · Apr 21, 2023 · 939a29f · 939a29f
1 parent c7b38c2
commit 939a29f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/benchcomp/configs/perf-regression.yaml b/tools/benchcomp/configs/perf-regression.yaml
@@ -28,6 +28,8 @@ run:
       variants: [kani_old, kani_new]
 
 visualize:
+  - type: dump_yaml
+
   - type: error_on_regression
     variant_pairs: [[kani_old, kani_new]]
     checks: