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

Merge pull request #98 from YosysHQ/cosa2_to_pono

Browse source 
cosa2 -> pono rename
This commit is contained in:
clairexen 2020-07-03 17:42:51 +02:00 committed by GitHub
parent 72e84cb320 a62fded391
commit 06e80194c7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby.py
View file

@ -59,7 +59,7 @@ parser.add_argument("--avy", metavar="<path_to_executable>",
action=DictAction, dest="exe_paths") action=DictAction, dest="exe_paths")
parser.add_argument("--btormc", metavar="<path_to_executable>", parser.add_argument("--btormc", metavar="<path_to_executable>",
action=DictAction, dest="exe_paths") action=DictAction, dest="exe_paths")
parser.add_argument("--cosa2", metavar="<path_to_executable>", parser.add_argument("--pono", metavar="<path_to_executable>",
action=DictAction, dest="exe_paths", action=DictAction, dest="exe_paths",
help="configure which executable to use for the respective tool") help="configure which executable to use for the respective tool")
parser.add_argument("--dumpcfg", action="store_true", dest="dump_cfg", parser.add_argument("--dumpcfg", action="store_true", dest="dump_cfg",

2
sbysrc/sby_core.py
View file

@ -228,7 +228,7 @@ class SbyJob:
"aigbmc": "aigbmc", "aigbmc": "aigbmc",
"avy": "avy", "avy": "avy",
"btormc": "btormc", "btormc": "btormc",
"cosa2": "cosa2", "pono": "pono",
} }
self.tasks_running = [] self.tasks_running = []

10
sbysrc/sby_engine_btor.py
View file

@ -43,10 +43,10 @@ def run(mode, job, engine_idx, engine):
solver_cmd += " -kmin {}".format(job.opt_skip) solver_cmd += " -kmin {}".format(job.opt_skip)
solver_cmd += " ".join([""] + solver_args[1:]) solver_cmd += " ".join([""] + solver_args[1:])
elif solver_args[0] == "cosa2": elif solver_args[0] == "pono":
if random_seed: if random_seed:
job.error("Setting the random seed is not available for the cosa2 solver.") job.error("Setting the random seed is not available for the pono solver.")
solver_cmd = job.exe_paths["cosa2"] + " -v 1 -e bmc -k {}".format(job.opt_depth - 1) solver_cmd = job.exe_paths["pono"] + " -v 1 -e bmc -k {}".format(job.opt_depth - 1)
else: else:
job.error("Invalid solver command {}.".format(solver_args[0])) job.error("Invalid solver command {}.".format(solver_args[0]))
@ -176,7 +176,7 @@ def run(mode, job, engine_idx, engine):
common_state.solver_status = "unsat" common_state.solver_status = "unsat"
return line return line
elif solver_args[0] == "cosa2": elif solver_args[0] == "pono":
if line == "unknown": if line == "unknown":
if common_state.solver_status is None: if common_state.solver_status is None:
common_state.solver_status = "unsat" common_state.solver_status = "unsat"
@ -189,7 +189,7 @@ def run(mode, job, engine_idx, engine):
return None return None
def exit_callback(retcode): def exit_callback(retcode):
if solver_args[0] == "cosa2": if solver_args[0] == "pono":
assert retcode in [1, 2] assert retcode in [1, 2]
else: else:
assert retcode == 0 assert retcode == 0