From cb01f8469c7073cd30eacad0ceb3a0ee10de5e65 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Wed, 29 Apr 2020 16:09:18 +0200 Subject: [PATCH] fix return code check in btor engine --- sbysrc/sby_engine_btor.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py index 55d45ac..5cb4447 100644 --- a/sbysrc/sby_engine_btor.py +++ b/sbysrc/sby_engine_btor.py @@ -136,7 +136,7 @@ def run(mode, job, engine_idx, engine): "cd {dir}; btorsim -c --vcd engine_{idx}/trace.vcd --hierarchical-symbols --info model/design_btor.info model/design_btor.btor engine_{idx}/trace.wit".format(dir=job.workdir, idx=engine_idx), logfile=open("{dir}/engine_{idx}/logfile2.txt".format(dir=job.workdir, idx=engine_idx), "w")) - def exit_callback2(line): + def exit_callback2(retcode): assert retcode == 0 job.update_status(task_status) job.log("engine_{}: Status returned by engine: {}".format(engine_idx, task_status)) @@ -152,7 +152,7 @@ def run(mode, job, engine_idx, engine): else: def make_exit_callback2(i): - def exit_callback2(line): + def exit_callback2(retcode): assert retcode == 0 job.update_status(task_status) job.log("engine_{}: Status returned by engine: {}".format(engine_idx, task_status)) -- 2.30.2