From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 25 Aug 2021 10:10:18 +0000 (+0200)
Subject: Fix regression
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=863a53b312d3e155526cc747c7b0386c179c9f54;p=SymbiYosys.git

Fix regression
---

diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index ec64536..ac56cd9 100644
--- a/sbysrc/sby_engine_btor.py
+++ b/sbysrc/sby_engine_btor.py
@@ -217,7 +217,7 @@ def run(mode, job, engine_idx, engine):
         job,
         f"engine_{engine_idx}", job.model("btor"),
         f"cd {job.workdir}; {solver_cmd} model/design_btor.btor",
-        logfile=open("{job.workdir}/engine_{engine_idx}/logfile.txt", "w")
+        logfile=open(f"{job.workdir}/engine_{engine_idx}/logfile.txt", "w")
     )
 
     task.output_callback = output_callback