Fix regression

diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index ec64536e78fc88c50242664681cc4a2190aa78e2..ac56cd9d94bd54605b6fbeb57d0ed2c5882e48eb 100644 (file)
--- 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