test: added stub asserts for propagator tests

potassco · Apr 25, 2024 · 859625e · 859625e
1 parent 645d165
commit 859625e
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/tests/clingexplaid/test_propagators.py b/tests/clingexplaid/test_propagators.py
@@ -30,7 +30,8 @@ def test_decision_order_propagator(self) -> None:
         control.ground()
         control.solve(assumptions=[], on_model=print)
 
-        # No asserts since the propagator currently doesn't support any outputs but only prints.
+        # Stub asserts since the propagator currently doesn't support any outputs but only prints.
+        self.assertEqual(True, True)
 
     def test_decision_order_propagator_with_signatures(self) -> None:
         """
@@ -45,4 +46,5 @@ def test_decision_order_propagator_with_signatures(self) -> None:
         control.ground()
         control.solve(assumptions=[], on_model=print)
 
-        # No asserts since the propagator currently doesn't support any outputs but only prints.
+        # Stub asserts since the propagator currently doesn't support any outputs but only prints.
+        self.assertEqual(True, True)