From 7181bbeba673f45e21eae3e484e39a560fe30480 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Mon, 8 Jul 2024 12:44:13 +0200 Subject: [PATCH] Compatibility with python 3.11 --- smtcomp/main.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/smtcomp/main.py b/smtcomp/main.py index 39afa0db..bbe9ed4c 100644 --- a/smtcomp/main.py +++ b/smtcomp/main.py @@ -274,15 +274,15 @@ def stats_of_benchexec_results( ) def print_solver(d: List[Dict[str, Any]]) -> str: - return ",".join(map(lambda x: f"{x["solver"]}({x["count"]})", d)) + return ",".join(map(lambda x: "{}({})".format(x["solver"], x["count"]), d)) def print_missing(d: Dict[str, Any]) -> str: if d["waiting"]: - return f"[bold red]{d["sum"]}[/bold red]" + return "[bold red]{}[/bold red]".format(d["sum"]) elif d["sum"] == 0: - return f"[bold green]{d["sum"]}[/bold green]" + return "[bold green]{}[/bold green]".format(d["sum"]) else: - return f"[bold orange1]{d["sum"]}[/bold orange1]" + return "[bold orange1]{}[/bold orange1]".format(d["sum"]) rich_print_pl( "Results", @@ -352,7 +352,7 @@ def find_disagreement_results( ) def print_answers(d: List[Dict[str, Any]]) -> str: - return ",".join(map(lambda x: f"{x["solver"]}({defs.Answer.name_of_int(x["answer"])})", d)) + return ",".join(map(lambda x: "{}({})".format(x["solver"], defs.Answer.name_of_int(x["answer"])), d)) rich_print_pl( "Disagreements",