Be more conservative in btor ys script

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 972e04786f6696b953f971f2986bb9c817757a79..961d7f0e64809758416d75245261f1fafa50aa50 100644 (file)
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -418,13 +418,14 @@ class SbyJob:
                 print("read_ilang design{}.il".format("_nomem" if "_nomem" in model_name else ""), file=f)
                 print("flatten", file=f)
                 print("setundef -undriven -anyseq", file=f)
-                print("setattr -unset keep", file=f)
-                print("opt -full", file=f)
                 if "_syn" in model_name:
+                    print("opt -full", file=f)
                     print("techmap", file=f)
                     print("opt -fast", file=f)
                     print("abc", file=f)
                     print("opt_clean", file=f)
+                else:
+                    print("opt -fast", file=f)
                 print("delete -output", file=f)
                 print("stat", file=f)
                 print("write_btor {}-i design_{m}.info design_{m}.btor".format("-c " if self.opt_mode == "cover" else "", m=model_name), file=f)