mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-01-19 10:43:20 +00:00
Code Activity

Update rIC3 return codes to include UNKNOWN status

Browse source
This commit is contained in:
Yuheng Su 2025-12-09 09:41:17 +08:00
parent 5b2058c628
commit 5f78dd5b11
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_engine_btor.py
View file

@ -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