diff --git a/docs/examples/fifo/golden/fifo.sby b/docs/examples/fifo/golden/skip_fifo.sby
similarity index 100%
rename from docs/examples/fifo/golden/fifo.sby
rename to docs/examples/fifo/golden/skip_fifo.sby
diff --git a/docs/examples/fifo/fifo.sby b/docs/examples/fifo/skip_fifo.sby
similarity index 100%
rename from docs/examples/fifo/fifo.sby
rename to docs/examples/fifo/skip_fifo.sby
diff --git a/tests/make/test_rules.py b/tests/make/test_rules.py
index 64f80e1..c1b8e84 100644
--- a/tests/make/test_rules.py
+++ b/tests/make/test_rules.py
@@ -51,15 +51,16 @@ with rules_file.open("w") as rules:
 
         required_tools = set()
 
-        for engine in info["engines"]:
-            engine, solver = parse_engine(engine)
-            engines.add(engine)
-            required_tools.update(
-                REQUIRED_TOOLS.get((engine, solver), REQUIRED_TOOLS.get(engine, ()))
-            )
-            if solver:
-                solvers.add(solver)
-                engine_solvers.add((engine, solver))
+        for mode_engines in info["engines"].values():
+            for engine in mode_engines:
+                engine, solver = parse_engine(engine)
+                engines.add(engine)
+                required_tools.update(
+                    REQUIRED_TOOLS.get((engine, solver), REQUIRED_TOOLS.get(engine, ()))
+                )
+                if solver:
+                    solvers.add(solver)
+                    engine_solvers.add((engine, solver))
 
         if any(
             line.startswith("read -verific") or line.startswith("verific")