From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 25 Feb 2017 22:50:33 +0000 (+0100)
Subject: Add aigbmc support
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=94260e01b8ac4aa1d0fb530bb2a472a51c762613;p=SymbiYosys.git

Add aigbmc support
---

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 228597e..c32bf73 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -141,6 +141,7 @@ class SbyJob:
             "abc": "yosys-abc",
             "smtbmc": "yosys-smtbmc",
             "suprove": "super_prove",
+            "aigbmc": "aigbmc",
             "avy": "avy",
         }
 
diff --git a/sbysrc/sby_engine_aiger.py b/sbysrc/sby_engine_aiger.py
index 8161be9..545f727 100644
--- a/sbysrc/sby_engine_aiger.py
+++ b/sbysrc/sby_engine_aiger.py
@@ -32,6 +32,9 @@ def run(mode, job, engine_idx, engine):
     elif solver_args[0] == "avy":
         solver_cmd = " ".join([job.exe_paths["avy"], "--cex", "-"] + solver_args[1:])
 
+    elif solver_args[0] == "aigbmc":
+        solver_cmd = " ".join([job.exe_paths["aigbmc"]] + solver_args[1:])
+
     else:
         assert False