Fix --dump-smt2 trace name in cover mode

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py
index 690dfcc28ec87012334c9c95d69d8ac9064682b3..48431aa1aeb1c9e9595f85af157660a550c20a8c 100644 (file)
--- 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" %