From 863a53b312d3e155526cc747c7b0386c179c9f54 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Wed, 25 Aug 2021 12:10:18 +0200 Subject: [PATCH] Fix regression --- 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 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 -- 2.30.2