From 055a3b5d8b9eb40421e545de6ea56aae083c59b5 Mon Sep 17 00:00:00 2001 From: Yuheng Su Date: Tue, 9 Dec 2025 09:42:41 +0800 Subject: [PATCH] Update sbysrc/sby_engine_btor.py Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> --- sbysrc/sby_engine_btor.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py index bc4c1b5..a8a2aca 100644 --- a/sbysrc/sby_engine_btor.py +++ b/sbysrc/sby_engine_btor.py @@ -295,8 +295,6 @@ def run(mode, task, engine_idx, engine): if common_state.solver_status is None: common_state.solver_status = "sat" return line - - print(line, file=proc.logfile) return None