From b690221f995deeeb8c36803b70bb9f70e6c827bc Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 22 Oct 2017 10:07:26 +0200 Subject: [PATCH] Add "smtbmc --unroll" --- sbysrc/sby_engine_smtbmc.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.30.2