Add extra "setundef -anyseq" to aiger script

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

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index b0698d2b70d1b4b70223ce2cc0f2e4f90a56bb07..7d8cf0f9ee976e21f208c18c3406aff0ccde527b 100644 (file)
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -419,6 +419,8 @@ class SbyJob:
                 print("opt -fast", file=f)
                 print("abc -g AND -fast", file=f)
                 print("opt_clean", file=f)
+                print("setundef -anyseq", file=f)
+                print("opt_clean", file=f)
                 print("stat", file=f)
                 print("write_aiger -I -B -zinit -map design_aiger.aim design_aiger.aig", file=f)