diff --git a/tests/test_assertion.py b/tests/test_assertion.py
index 4925809..0fc3f68 100644
--- a/tests/test_assertion.py
+++ b/tests/test_assertion.py
@@ -16,7 +16,7 @@ def frame():
     ctl.ground([("base", [])])
 
     def test(positive, negative):
-        for model in ctl.solve(yield_=True):
+        for model in ctl.solve(yield_=True): # pylint: disable=not-an-iterable
             for assertion in positive:
                 assert     assertion.holds_for(model)
             for assertion in negative: