From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 3 Mar 2018 18:59:06 +0000 (+0100)
Subject: Fix --dump-smt2 trace name in cover mode
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4eed5ec8bb5ed047093ee6b7012f2302365f9a4e;p=SymbiYosys.git

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