From 7be55edc7d1e83a83805a683a1957a5be0de23ea Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 9 Feb 2017 14:32:16 +0100 Subject: [PATCH] Fix "smtbmc --syn" and "smtbmc --nomem" --- sbysrc/sby_engine_smtbmc.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py index cb07111..15bcbd2 100644 --- a/sbysrc/sby_engine_smtbmc.py +++ b/sbysrc/sby_engine_smtbmc.py @@ -65,8 +65,8 @@ def run(mode, job, engine_idx, engine): trace_prefix += "%" task = SbyTask(job, taskname, job.model(model_name), - ("cd %s; %s --noprogress %s -t %d --dump-vcd %s.vcd --dump-vlogtb %s_tb.v --dump-smtc %s.smtc model/design_smt2.smt2") % - (job.workdir, job.exe_paths["smtbmc"], " ".join(smtbmc_opts), job.opt_depth, trace_prefix, trace_prefix, trace_prefix), + "cd %s; %s --noprogress %s -t %d --dump-vcd %s.vcd --dump-vlogtb %s_tb.v --dump-smtc %s.smtc model/design_%s.smt2" % + (job.workdir, job.exe_paths["smtbmc"], " ".join(smtbmc_opts), job.opt_depth, trace_prefix, trace_prefix, trace_prefix, model_name), logfile=open(logfile_prefix + ".txt", "w")) if mode == "prove_basecase": -- 2.30.2