From 0c0215de910597d6ae5bad8109987296bfebf141 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Thu, 2 Apr 2020 17:21:48 +0200 Subject: [PATCH] fix formatting error --- sbysrc/sby_engine_abc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sbysrc/sby_engine_abc.py b/sbysrc/sby_engine_abc.py index 306bb36..49d044d 100644 --- a/sbysrc/sby_engine_abc.py +++ b/sbysrc/sby_engine_abc.py @@ -89,7 +89,7 @@ def run(mode, job, engine_idx, engine): "--dump-smtc engine_{i}/trace.smtc --aig model/design_aiger.aim:engine_{i}/trace.aiw --aig-noheader model/design_smt2.smt2").format (job.workdir, job.exe_paths["smtbmc"], job.opt_aigsmt, "" if job.opt_tbtop is None else " --vlogtb-top {}".format(job.opt_tbtop), - job.opt_append, i=engine_idx, engine_idx, engine_idx, engine_idx), + job.opt_append, i=engine_idx), logfile=open("{}/engine_{}/logfile2.txt".format(job.workdir, engine_idx), "w")) task2_status = None -- 2.30.2