aiger: check supported modes and aigbmc fixes

[SymbiYosys.git] / sbysrc / sby_mode_bmc.py

diff --git a/sbysrc/sby_mode_bmc.py b/sbysrc/sby_mode_bmc.py
index fd128edf21e5a9266cfa073be84d25295a9e9266..85ef882f69a56465b49c441eaa86ad0fc50ca234 100644 (file)
--- a/sbysrc/sby_mode_bmc.py
+++ b/sbysrc/sby_mode_bmc.py
@@ -39,6 +39,10 @@ def run(task):
             import sby_engine_abc
             sby_engine_abc.run("bmc", task, engine_idx, engine)
 
+        elif engine[0] == "aiger":
+            import sby_engine_aiger
+            sby_engine_aiger.run("bmc", task, engine_idx, engine)
+
         elif engine[0] == "btor":
             import sby_engine_btor
             sby_engine_btor.run("bmc", task, engine_idx, engine)