From a8f3f4bba21dbc12787c168c3e259c21cbe9f5ba Mon Sep 17 00:00:00 2001 From: Yuheng Su Date: Tue, 9 Dec 2025 09:34:19 +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, 1 insertion(+), 1 deletion(-) diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py index 47b1ec6..446f315 100644 --- a/sbysrc/sby_engine_btor.py +++ b/sbysrc/sby_engine_btor.py @@ -85,7 +85,7 @@ def run(mode, task, engine_idx, engine): + solver_args[1:] ) else: - task.error("The rIC3 solver is only supported in bmc and prove mode.") + task.error("The rIC3 solver is only supported in bmc and prove modes.") else: task.error(f"Invalid solver command {solver_args[0]}.")