From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 22 Oct 2017 08:07:26 +0000 (+0200)
Subject: Add "smtbmc --unroll"
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b690221f995deeeb8c36803b70bb9f70e6c827bc;p=SymbiYosys.git

Add "smtbmc --unroll"
---

diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py
index e368a91..cc44f28 100644
--- 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:], "", ["nomem", "syn", "stbv", "presat"])
+    opts, args = getopt.getopt(engine[1:], "", ["nomem", "syn", "stbv", "presat", "unroll"])
 
     for o, a in opts:
         if o == "--nomem":
@@ -36,6 +36,8 @@ def run(mode, job, engine_idx, engine):
             stbv_opt = True
         elif o == "--presat":
             smtbmc_opts += ["--presat"]
+        elif o == "--unroll":
+            smtbmc_opts += ["--unroll"]
         else:
             assert False