and another

diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index 1130a3a652b3a017274f6b87532412c507fd523f..95aba6686fdbd270d618f2f1b5f62fae0dea5a73 100644 (file)
--- 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":