mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-29 08:25:51 +00:00
Code Activity

Fix --dump-smt2 trace name in cover mode

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-03 19:59:06 +01:00
parent 0f21d01460
commit 4eed5ec8bb
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_engine_smtbmc.py
View file

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