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

cosa2 -> pono rename

Browse source
This commit is contained in:
Miodrag Milanovic 2020-07-03 11:25:55 +02:00
parent 72e84cb320
commit a62fded391
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")
parser.add_argument("--btormc", metavar="<path_to_executable>",
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",
help="configure which executable to use for the respective tool")
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",
"avy": "avy",
"btormc": "btormc",
"cosa2": "cosa2",
"pono": "pono",
}
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 += " ".join([""] + solver_args[1:])
elif solver_args[0] == "cosa2":
elif solver_args[0] == "pono":
if random_seed:
job.error("Setting the random seed is not available for the cosa2 solver.")
solver_cmd = job.exe_paths["cosa2"] + " -v 1 -e bmc -k {}".format(job.opt_depth - 1)
job.error("Setting the random seed is not available for the pono solver.")
solver_cmd = job.exe_paths["pono"] + " -v 1 -e bmc -k {}".format(job.opt_depth - 1)
else:
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"
return line
elif solver_args[0] == "cosa2":
elif solver_args[0] == "pono":
if line == "unknown":
if common_state.solver_status is None:
common_state.solver_status = "unsat"
@ -189,7 +189,7 @@ def run(mode, job, engine_idx, engine):
return None
def exit_callback(retcode):
if solver_args[0] == "cosa2":
if solver_args[0] == "pono":
assert retcode in [1, 2]
else:
assert retcode == 0