From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 26 Feb 2017 12:07:58 +0000 (+0100)
Subject: Fix typo in aiger engine
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5657976ad3b7b3bc8d55c8db44d84dffdbe3b7fc;p=SymbiYosys.git

Fix typo in aiger engine
---

diff --git a/sbysrc/sby_engine_aiger.py b/sbysrc/sby_engine_aiger.py
index 3a7e87d..0f1d253 100644
--- a/sbysrc/sby_engine_aiger.py
+++ b/sbysrc/sby_engine_aiger.py
@@ -80,7 +80,7 @@ def run(mode, job, engine_idx, engine):
             task2 = SbyTask(job, "engine_%d" % engine_idx, job.model("smt2"),
                     ("cd %s; %s -s %s --noprogress --append %d --dump-vcd engine_%d/trace.vcd --dump-vlogtb engine_%d/trace_tb.v " +
                      "--dump-smtc engine_%d/trace.smtc --aig model/design_aiger.aim:engine_%d/trace.aiw model/design_smt2.smt2") %
-                            (job.workdir, job.exe_paths["smtbmc"], job.opt_aigsmt, job,opt_append, engine_idx, engine_idx, engine_idx, engine_idx),
+                            (job.workdir, job.exe_paths["smtbmc"], job.opt_aigsmt, job.opt_append, engine_idx, engine_idx, engine_idx, engine_idx),
                     logfile=open("%s/engine_%d/logfile2.txt" % (job.workdir, engine_idx), "w"))
 
             task2_status = None