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 #179 from jix/btor-option-handling

Browse source 
btor pono: improve option handling
This commit is contained in:
Jannis Harder 2022-06-15 13:24:36 +02:00 committed by GitHub
parent 98b0713597 141ffd34a5
commit f131fe5b8f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
sbysrc/sby_engine_btor.py
View file

@ -46,7 +46,10 @@ def run(mode, task, engine_idx, engine):
elif solver_args[0] == "pono":
if random_seed:
task.error("Setting the random seed is not available for the pono solver.")
if task.opt_skip is not None:
task.error("The btor engine supports the option skip only for the btormc solver.")
solver_cmd = task.exe_paths["pono"] + f" --witness -v 1 -e bmc -k {task.opt_depth - 1}"
solver_cmd += " ".join([""] + solver_args[1:])
else:
task.error(f"Invalid solver command {solver_args[0]}.")