From 2c75668dde2ee1ca6b3b528f07932dfa04c4ace6 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