Automatic engine selection

[SymbiYosys.git] / sbysrc / sby_mode_cover.py

diff --git a/sbysrc/sby_mode_cover.py b/sbysrc/sby_mode_cover.py
index 858ab9a7366b29b35dfb8c78abfae4a9eb45ec78..d7705ee338a2e5be394044752efb616bc9595b19 100644 (file)
--- a/sbysrc/sby_mode_cover.py
+++ b/sbysrc/sby_mode_cover.py
@@ -23,8 +23,7 @@ def run(task):
     task.handle_int_option("depth", 20)
     task.handle_int_option("append", 0)
 
-    for engine_idx in range(len(task.engines)):
-        engine = task.engines[engine_idx]
+    for engine_idx, engine in task.engine_list():
         assert len(engine) > 0
 
         task.log(f"""engine_{engine_idx}: {" ".join(engine)}""")