Add "setundef -anyseq" to default yosys script

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 17c02546888d57d383348e61d17024ed4b798211..a1039a4e9f00f029a81a4646e6bb9b8d8d4e418a 100644 (file)
--- 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", [],