From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 28 May 2017 10:32:30 +0000 (+0200)
Subject: Add "setundef -anyseq" to default yosys script
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3fb72628de902d16b1f9f721ae56cdc33b5d0d8c;p=SymbiYosys.git

Add "setundef -anyseq" to default yosys script
---

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 17c0254..a1039a4 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -357,6 +357,7 @@ class SbyJob:
                     print("chformal -assert2assume", file=f)
                     print("chformal -cover -remove", file=f)
                 print("opt_clean", file=f)
+                print("setundef -anyseq", file=f)
                 print("write_ilang ../model/design.il", file=f)
 
             task = SbyTask(self, "script", [],