From e9af1a65f106115a8823ae48a89d9520bdd99671 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Thu, 2 Apr 2020 17:36:54 +0200 Subject: [PATCH] and another --- sbysrc/sby_engine_btor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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": -- 2.30.2