From 5f78dd5b11665deec7a3cb17942d9fa7e97dd07e Mon Sep 17 00:00:00 2001 From: Yuheng Su Date: Tue, 9 Dec 2025 09:41:17 +0800 Subject: [PATCH] Update rIC3 return codes to include UNKNOWN status --- 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 446f315..bc4c1b5 100644 --- a/sbysrc/sby_engine_btor.py +++ b/sbysrc/sby_engine_btor.py @@ -329,7 +329,7 @@ def run(mode, task, engine_idx, engine): if solver_args[0] == "pono": proc.retcodes = [0, 1, 255] # UNKNOWN = -1, FALSE = 0, TRUE = 1, ERROR = 2 if solver_args[0] == "rIC3": - proc.retcodes = [10, 20, 30] # FALSE = 10, TRUE = 20, ERROR = 30 + proc.retcodes = [10, 20, 30] # FALSE = 10, TRUE = 20, UNKNOWN = 30 proc.output_callback = output_callback proc.register_exit_callback(exit_callback) common_state.running_procs += 1