From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 12 May 2018 12:03:37 +0000 (+0200)
Subject: Use "hierarchy -simcheck" in default script
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d24d7e1aef1eac422ae40a4512f8849fd5fae124;p=SymbiYosys.git

Use "hierarchy -simcheck" in default script

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index a18687b..2d12ef7 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -300,6 +300,7 @@ class SbyJob:
                 print("setundef -anyseq", file=f)
                 print("opt -keepdc -fast", file=f)
                 print("check", file=f)
+                print("hierarchy -simcheck", file=f)
                 print("write_ilang ../model/design%s.il" % ("" if model_name == "base" else "_nomem"), file=f)
 
             task = SbyTask(self, model_name, [],
diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py
index 23ec693..525f94d 100644
--- a/sbysrc/sby_engine_smtbmc.py
+++ b/sbysrc/sby_engine_smtbmc.py
@@ -146,7 +146,8 @@ def run(mode, job, engine_idx, engine):
         return line
 
     def exit_callback(retcode):
-        assert task_status is not None
+        if task_status is None:
+            job.error("engine_%d: Engine terminated without status." % engine_idx)
 
         if mode == "bmc" or mode == "cover":
             job.update_status(task_status)