From: N. Engelhardt <nak@symbioticeda.com>
Date: Thu, 2 Apr 2020 15:36:54 +0000 (+0200)
Subject: and another
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e9af1a65f106115a8823ae48a89d9520bdd99671;p=SymbiYosys.git

and another
---

diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index 1130a3a..95aba66 100644
--- a/sbysrc/sby_engine_btor.py
+++ b/sbysrc/sby_engine_btor.py
@@ -109,7 +109,7 @@ def run(mode, job, engine_idx, engine):
                     setupcmd = "cd {};".format(job.workdir)
                     finalwit = "engine_{}/trace.wit".format(engine_idx)
                 else:
-                    setupcmd = "cd {}; { echo sat; btorsim --states model/design_btor.btor engine_{i}/trace.wit; } > engine_{i}/simtrace.wit &&".format(job.workdir, i=engine_idx)
+                    setupcmd = "cd {}; {{ echo sat; btorsim --states model/design_btor.btor engine_{i}/trace.wit; }} > engine_{i}/simtrace.wit &&".format(job.workdir, i=engine_idx)
                     finalwit = "engine_{}/simtrace.wit".format(engine_idx)
 
                 if mode == "live":