From: N. Engelhardt <nak@symbioticeda.com>
Date: Wed, 29 Apr 2020 14:09:18 +0000 (+0200)
Subject: fix return code check in btor engine
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb01f8469c7073cd30eacad0ceb3a0ee10de5e65;p=SymbiYosys.git

fix return code check in btor engine
---

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