diff --git a/tools/benchcomp/configs/perf-regression.yaml b/tools/benchcomp/configs/perf-regression.yaml index 4f7b185d4e46..1a6141d287ea 100644 --- 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: