mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 16:28:17 +00:00
Code Activity

Fix regression

Browse source
This commit is contained in:
Miodrag Milanovic 2021-08-25 12:10:18 +02:00
parent 156cc5d8c9
commit 863a53b312
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_engine_btor.py
View file

@ -217,7 +217,7 @@ def run(mode, job, engine_idx, engine):
job, job,
f"engine_{engine_idx}", job.model("btor"), f"engine_{engine_idx}", job.model("btor"),
f"cd {job.workdir}; {solver_cmd} model/design_btor.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 task.output_callback = output_callback