mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 06:04:06 +00:00
Code Activity

call job.terminate at end of btor engine run to kill other engines in case of whoever-gets-there-first runs

Browse source
This commit is contained in:
N. Engelhardt 2020-05-13 12:42:30 +02:00
parent b3d766bf89
commit 842e9a121a
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
sbysrc/sby_engine_btor.py
View file

@ -53,7 +53,7 @@ def run(mode, job, engine_idx, engine):
if common_state.assert_fail:
task_status = "FAIL"
elif common_state.solver_status == "sat":
task_status = "PASS"
task_status = "pass"
elif common_state.solver_status == "unsat":
task_status = "FAIL"
else:
@ -62,11 +62,11 @@ def run(mode, job, engine_idx, engine):
if common_state.solver_status == "sat":
task_status = "FAIL"
elif common_state.solver_status == "unsat":
task_status = "PASS"
task_status = "pass"
else:
job.error("engine_{}: Engine terminated without status.".format(engine_idx))
job.update_status(task_status)
job.update_status(task_status.upper())
job.log("engine_{}: Status returned by engine: {}".format(engine_idx, task_status))
job.summary.append("engine_{} ({}) returned {}".format(engine_idx, " ".join(engine), task_status))
@ -80,6 +80,8 @@ def run(mode, job, engine_idx, engine):
excess_traces = len(common_state.produced_traces) - common_state.print_traces_max
job.summary.append("and {} further trace{}".format(excess_traces, "s" if excess_traces > 1 else {}))
job.terminate()
if mode == "cover":
def output_callback2(line):
match = re.search(r"Assert failed in test", line)