From c29a5bbe8a3c0e2ee7ca6fda7d3a9e0b73d2af48 Mon Sep 17 00:00:00 2001 From: Claire Xenia Wolf Date: Thu, 24 Nov 2022 18:12:22 +0100 Subject: [PATCH] Add colors to engine header message Signed-off-by: Claire Xenia Wolf --- sbysrc/sby_mode_bmc.py | 4 ++-- sbysrc/sby_mode_cover.py | 4 ++-- sbysrc/sby_mode_live.py | 4 ++-- sbysrc/sby_mode_prove.py | 4 ++-- 4 files changed, 8 insertions(+), 8 deletions(-) diff --git a/sbysrc/sby_mode_bmc.py b/sbysrc/sby_mode_bmc.py index 399f267..9ba624c 100644 --- a/sbysrc/sby_mode_bmc.py +++ b/sbysrc/sby_mode_bmc.py @@ -16,7 +16,7 @@ # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. # -import re, os, getopt +import re, os, getopt, click from sby_core import SbyProc def run(task): @@ -25,7 +25,7 @@ def run(task): task.handle_str_option("aigsmt", "yices") for engine_idx, engine in task.engine_list(): - task.log(f"""engine_{engine_idx}: {" ".join(engine)}""") + task.log(f"{click.style(f'engine_{engine_idx}', fg='magenta')}: {' '.join(engine)}") task.makedirs(f"{task.workdir}/engine_{engine_idx}") if engine[0] == "smtbmc": diff --git a/sbysrc/sby_mode_cover.py b/sbysrc/sby_mode_cover.py index 02b586f..3a5fbe9 100644 --- a/sbysrc/sby_mode_cover.py +++ b/sbysrc/sby_mode_cover.py @@ -16,7 +16,7 @@ # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. # -import re, os, getopt +import re, os, getopt, click from sby_core import SbyProc def run(task): @@ -24,7 +24,7 @@ def run(task): task.handle_int_option("append", 0) for engine_idx, engine in task.engine_list(): - task.log(f"""engine_{engine_idx}: {" ".join(engine)}""") + task.log(f"{click.style(f'engine_{engine_idx}', fg='magenta')}: {' '.join(engine)}") task.makedirs(f"{task.workdir}/engine_{engine_idx}") if engine[0] == "smtbmc": diff --git a/sbysrc/sby_mode_live.py b/sbysrc/sby_mode_live.py index 437fe8d..89bcc57 100644 --- a/sbysrc/sby_mode_live.py +++ b/sbysrc/sby_mode_live.py @@ -16,7 +16,7 @@ # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. # -import re, os, getopt +import re, os, getopt, click from sby_core import SbyProc def run(task): @@ -25,7 +25,7 @@ def run(task): task.status = "UNKNOWN" for engine_idx, engine in task.engine_list(): - task.log(f"""engine_{engine_idx}: {" ".join(engine)}""") + task.log(f"{click.style(f'engine_{engine_idx}', fg='magenta')}: {' '.join(engine)}") task.makedirs(f"{task.workdir}/engine_{engine_idx}") if engine[0] == "aiger": diff --git a/sbysrc/sby_mode_prove.py b/sbysrc/sby_mode_prove.py index 1118232..b289f31 100644 --- a/sbysrc/sby_mode_prove.py +++ b/sbysrc/sby_mode_prove.py @@ -16,7 +16,7 @@ # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. # -import re, os, getopt +import re, os, getopt, click from sby_core import SbyProc def run(task): @@ -32,7 +32,7 @@ def run(task): task.induction_procs = list() for engine_idx, engine in task.engine_list(): - task.log(f"""engine_{engine_idx}: {" ".join(engine)}""") + task.log(f"{click.style(f'engine_{engine_idx}', fg='magenta')}: {' '.join(engine)}") task.makedirs(f"{task.workdir}/engine_{engine_idx}") if engine[0] == "smtbmc":