mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-07 14:45:18 +00:00
Code Activity

and another

Browse source
This commit is contained in:
N. Engelhardt 2020-04-02 17:36:54 +02:00
parent 0c0215de91
commit e9af1a65f1
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

@ -109,7 +109,7 @@ def run(mode, job, engine_idx, engine):
setupcmd = "cd {};".format(job.workdir) setupcmd = "cd {};".format(job.workdir)
finalwit = "engine_{}/trace.wit".format(engine_idx) finalwit = "engine_{}/trace.wit".format(engine_idx)
else: 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) finalwit = "engine_{}/simtrace.wit".format(engine_idx)
if mode == "live": if mode == "live":