mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-06-30 00:28:54 +00:00
Code Activity

catch subprocess crash as error

Browse source
This commit is contained in:
Miodrag Milanovic 2026-06-23 12:21:28 +02:00
parent c4ed754ff8
commit 29650804c1
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
sbysrc/sby_engine_aiger.py
View file

@ -138,6 +138,11 @@ def run(mode, task, engine_idx, engine):
proc_status = "FAIL"
return None
if solver_args[0] == "rIC3":
match = re.match(r".*all workers unexpectedly exited.*", line)
if match:
proc_status = "ERROR"
if proc_status is not None:
if not end_of_cex and not produced_cex and line.isdigit():
produced_cex = True

3
sbysrc/sby_engine_btor.py
View file

@ -287,6 +287,9 @@ def run(mode, task, engine_idx, engine):
match = re.match(r".*bmc found counter-example in depth (\d+).*", line)
if match:
common_state.current_step = int(match[1])
match = re.match(r".*all workers unexpectedly exited.*", line)
if match:
common_state.solver_status = "error"
if line == "UNSAT":
if common_state.solver_status is None:
common_state.solver_status = "unsat"