From 68d90a55104c0c681fcb6aa02a26a83ff92367b8 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 7 Jul 2017 02:47:53 +0200 Subject: [PATCH] Add "smtbmc --presat" --- 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 ba0fc12..e368a91 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:], "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 -- 2.30.2