From: N. Engelhardt <nak@symbioticeda.com>
Date: Thu, 2 Apr 2020 15:21:48 +0000 (+0200)
Subject: fix formatting error
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0c0215de910597d6ae5bad8109987296bfebf141;p=SymbiYosys.git

fix formatting error
---

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