Disable erroneous pylint warning

potassco · Feb 22, 2024 · cf6617c · cf6617c
1 parent 0901716
commit cf6617c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: