From d1069cb582bad07eeb8dcd390e999b7aaa2cfd25 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 14 Mar 2024 23:32:18 +0000 Subject: [PATCH] More whitespace --- tools/benchcomp/benchcomp/visualizers/__init__.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/benchcomp/benchcomp/visualizers/__init__.py b/tools/benchcomp/benchcomp/visualizers/__init__.py index 7edac66ad2df..c1a2f603657d 100644 --- a/tools/benchcomp/benchcomp/visualizers/__init__.py +++ b/tools/benchcomp/benchcomp/visualizers/__init__.py @@ -245,7 +245,7 @@ def _get_template(): {% for metric, benchmarks in d["metrics"].items() %} ## {{ metric }} - {% if scatterplot and metric in d["scaled_metrics"] and d["scaled_variants"][metric]|length == 2 %} + {% if scatterplot and metric in d["scaled_metrics"] and d["scaled_variants"][metric]|length == 2 -%} ```mermaid %%{init: { "quadrantChart": { "chartWidth": 400, "chartHeight": 400, "pointRadius": 2, "pointLabelFontSize": 3 }, "themeVariables": { "quadrant1Fill": "#FFFFFF", "quadrant2Fill": "#FFFFFF", "quadrant3Fill": "#FFFFFF", "quadrant4Fill": "#FFFFFF", "quadrant1TextFill": "#FFFFFF", "quadrant2TextFill": "#FFFFFF", "quadrant3TextFill": "#FFFFFF", "quadrant4TextFill": "#FFFFFF", "quadrantInternalBorderStrokeFill": "#FFFFFF" } }%% quadrantChart @@ -258,10 +258,10 @@ def _get_template(): quadrant-4 4 {% for bench_name, bench_variants in d["scaled_metrics"][metric].items () -%} {{ bench_name }}: [{{ bench_variants[d["scaled_variants"][metric][0]] }}, {{ bench_variants[d["scaled_variants"][metric][1]] }}] - {% endfor %} + {%- endfor %} ``` - {% endif %} + {% endif -%} | Benchmark | {% for variant in d["variants"][metric] %} {{ variant }} |{% endfor %} | --- |{% for variant in d["variants"][metric] %} --- |{% endfor -%} {% for bench_name, bench_variants in benchmarks.items () %}