From 4eed5ec8bb5ed047093ee6b7012f2302365f9a4e Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 3 Mar 2018 19:59:06 +0100 Subject: [PATCH] Fix --dump-smt2 trace name in cover mode Signed-off-by: Clifford Wolf --- sbysrc/sby_engine_smtbmc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py index 690dfcc..48431aa 100644 --- a/sbysrc/sby_engine_smtbmc.py +++ b/sbysrc/sby_engine_smtbmc.py @@ -96,7 +96,7 @@ def run(mode, job, engine_idx, engine): trace_prefix += "%" if dumpsmt2: - smtbmc_opts += ["--dump-smt2", trace_prefix + ".smt2"] + smtbmc_opts += ["--dump-smt2", trace_prefix.replace("%", "") + ".smt2"] task = SbyTask(job, taskname, job.model(model_name), "cd %s; %s --noprogress %s -t %d --append %d --dump-vcd %s.vcd --dump-vlogtb %s_tb.v --dump-smtc %s.smtc model/design_%s.smt2" % -- 2.30.2