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 --presat"

Browse source
This commit is contained in:
Clifford Wolf 2017-07-07 02:47:53 +02:00
parent 6ef12a4b31
commit 68d90a5510
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:], "s:", ["nomem", "syn", "stbv"]) opts, args = getopt.getopt(engine[1:], "", ["nomem", "syn", "stbv", "presat"])
for o, a in opts: for o, a in opts:
if o == "--nomem": if o == "--nomem":
@ -34,6 +34,8 @@ def run(mode, job, engine_idx, engine):
syn_opt = True syn_opt = True
elif o == "--stbv": elif o == "--stbv":
stbv_opt = True stbv_opt = True
elif o == "--presat":
smtbmc_opts += ["--presat"]
else: else:
assert False assert False