mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 16:28:17 +00:00
Code Activity

Add "smtbmc --unroll"

Browse source
This commit is contained in:
Clifford Wolf 2017-10-22 10:07:26 +02:00
parent f403b99fae
commit b690221f99
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
sbysrc/sby_engine_smtbmc.py
View file

@ -25,7 +25,7 @@ def run(mode, job, engine_idx, engine):
syn_opt = False syn_opt = False
stbv_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: for o, a in opts:
if o == "--nomem": if o == "--nomem":
@ -36,6 +36,8 @@ def run(mode, job, engine_idx, engine):
stbv_opt = True stbv_opt = True
elif o == "--presat": elif o == "--presat":
smtbmc_opts += ["--presat"] smtbmc_opts += ["--presat"]
elif o == "--unroll":
smtbmc_opts += ["--unroll"]
else: else:
assert False assert False