From 92b61e799d33f32bf33e32cb32575f3995152d42 Mon Sep 17 00:00:00 2001
From: Alexandre Guillemot <alexandre.guillemot@inria.fr>
Date: Wed, 2 Apr 2025 17:42:22 +0200
Subject: [PATCH] synthetize modifs
---
synthesize.sage | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/synthesize.sage b/synthesize.sage
index 16bd60b4..db8b924a 100644
--- a/synthesize.sage
+++ b/synthesize.sage
@@ -212,7 +212,7 @@ def median(L):
return None
result_stats = {
- "failures": lambda res: str(res["failures"]) if res["failures"] != 0 else "",
+ "failures": lambda res: "\\textbf{" + str(res["failures"]) + "}" if res["failures"] != 0 else "",
"tottime": lambda res: time_format_2(res["overheadtime"]) if "overheadtime" in res else time_format_2(res["time"]),
"meantime": lambda res: time_format(float(res["time"])/len(res["steplist"])),
"totsteps": lambda res: steps_format(sum([int(p) for p in res["steplist"] if p is not None])),
@@ -231,7 +231,7 @@ result_stats = {
"maxmeanprec": lambda res: steps_format(max([int(p) for p in res["meanpreclist"]])),
"wmeanprec": lambda res: steps_format(numpy.mean([int(p) for p in res["weightedmeanpreclist"]])),
"maxwmeanprec": lambda res: steps_format(max([int(p) for p in res["weightedmeanpreclist"]])),
- "pathjump": lambda res: "{\\color{green} \\faCheck}" if "ncertified" in res and "failures" in res and int(res["ncertified"]) != len(res["steplist"]) - int(res["failures"]) else "{\\color{red} \\faTimes}"
+ "pathjump": lambda res: "\\faTimes" if "ncertified" in res and "failures" in res and int(res["ncertified"]) != len(res["steplist"]) - int(res["failures"]) else "",
}
--
GitLab