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

sby: fixed the sby task execution to accept the new engine internal layout

Browse source
This commit is contained in:
Aki Van Ness 2022-08-04 08:51:35 -04:00
parent da56a3c6d1
commit 637095a8ec
No known key found for this signature in database
GPG key ID: C629E8EC06327BEE
5 changed files with 31 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
sbysrc/sby_core.py
View file

@ -401,8 +401,8 @@ class SbyConfig:
continue continue
if mode == "engines": if mode == "engines":
entries = line.split() args = line.strip().split()
self.engines[engine_mode].append(entries) self.engines[engine_mode].append(args)
continue continue
if mode == "setup": if mode == "setup":

10
sbysrc/sby_mode_bmc.py
View file

@ -25,13 +25,19 @@ def run(task):
task.handle_str_option("aigsmt", "yices") task.handle_str_option("aigsmt", "yices")
for engine_idx, engine_section in task.engine_list(): for engine_idx, engine_section in task.engine_list():
engine = engine_section[1][0] if isinstance(engine_section, list):
engine_name = engine_section[0] engine = engine_section
engine_name = None
else:
engine = engine_section[1][0]
engine_name = engine_section[0]
if engine_name is None: if engine_name is None:
engine_name = engine_idx engine_name = engine_idx
assert len(engine) > 0 assert len(engine) > 0
task.log(f"""engine_{engine_name}: {" ".join(engine)}""") task.log(f"""engine_{engine_name}: {" ".join(engine)}""")
task.makedirs(f"{task.workdir}/engine_{engine_idx}") task.makedirs(f"{task.workdir}/engine_{engine_idx}")

9
sbysrc/sby_mode_cover.py
View file

@ -24,8 +24,13 @@ def run(task):
task.handle_int_option("append", 0) task.handle_int_option("append", 0)
for engine_idx, engine_section in task.engine_list(): for engine_idx, engine_section in task.engine_list():
engine = engine_section[1][0] if isinstance(engine_section, list):
engine_name = engine_section[0] engine = engine_section
engine_name = None
else:
engine = engine_section[1][0]
engine_name = engine_section[0]
if engine_name is None: if engine_name is None:
engine_name = engine_idx engine_name = engine_idx

9
sbysrc/sby_mode_live.py
View file

@ -25,8 +25,13 @@ def run(task):
task.status = "UNKNOWN" task.status = "UNKNOWN"
for engine_idx, engine_section in task.engine_list(): for engine_idx, engine_section in task.engine_list():
engine = engine_section[1][0] if isinstance(engine_section, list):
engine_name = engine_section[0] engine = engine_section
engine_name = None
else:
engine = engine_section[1][0]
engine_name = engine_section[0]
if engine_name is None: if engine_name is None:
engine_name = engine_idx engine_name = engine_idx

9
sbysrc/sby_mode_prove.py
View file

@ -32,8 +32,13 @@ def run(task):
task.induction_procs = list() task.induction_procs = list()
for engine_idx, engine_section in task.engine_list(): for engine_idx, engine_section in task.engine_list():
engine = engine_section[1][0] if isinstance(engine_section, list):
engine_name = engine_section[0] engine = engine_section
engine_name = None
else:
engine = engine_section[1][0]
engine_name = engine_section[0]
if engine_name is None: if engine_name is None:
engine_name = engine_idx engine_name = engine_idx