btor pono: improve option handling

Fail on the unsupported skip option and pass solver args to pono.

diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index 7985b3244934cb52182423f70e3c6d9f12821938..0fe577b48f93beb5171af48072fb8e3d6e00cb8b 100644 (file)
--- a/sbysrc/sby_engine_btor.py
+++ b/sbysrc/sby_engine_btor.py
@@ -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]}.")