Add "smtbmc --presat"

diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py
index ba0fc121d46f16a6a8046afc72a8b000d655ba69..e368a91c1b110cab114ee469842369b6d9ace943 100644 (file)
--- a/sbysrc/sby_engine_smtbmc.py
+++ b/sbysrc/sby_engine_smtbmc.py
@@ -25,7 +25,7 @@ def run(mode, job, engine_idx, engine):
     syn_opt = False
     stbv_opt = False
 
-    opts, args = getopt.getopt(engine[1:], "s:", ["nomem", "syn", "stbv"])
+    opts, args = getopt.getopt(engine[1:], "", ["nomem", "syn", "stbv", "presat"])
 
     for o, a in opts:
         if o == "--nomem":
@@ -34,6 +34,8 @@ def run(mode, job, engine_idx, engine):
             syn_opt = True
         elif o == "--stbv":
             stbv_opt = True
+        elif o == "--presat":
+            smtbmc_opts += ["--presat"]
         else:
             assert False