Use the test Makefile for all examples

[SymbiYosys.git] / tests / make / test_rules.py

diff --git a/tests/make/test_rules.py b/tests/make/test_rules.py
index 04d2226df5dc01cc12b2b46b9855da8f617743ba..5c18acadffafd66cc03c7cb073d1db19aec6de9e 100644 (file)
--- a/tests/make/test_rules.py
+++ b/tests/make/test_rules.py
@@ -56,6 +56,9 @@ with rules_file.open("w") as rules:
                 solvers.add(solver)
                 engine_solvers.add((engine, solver))
 
+        if any(line.startswith("read -verific") or line.startswith("verific") for line in info["script"]):
+            required_tools.add("verific")
+
         required_tools = sorted(required_tools)
 
         print(f".PHONY: {target}", file=rules)