fix tests for <>

potassco · Sep 26, 2019 · 9b9bfb0 · 9b9bfb0
1 parent 6925cda
commit 9b9bfb0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/telingo/tests/telingo_test.py b/telingo/tests/telingo_test.py
@@ -73,7 +73,7 @@ def test_theory_boolean(self):
         self.assertEqual(solve('{p(1,a,(1,a),f(2,a),"test",#inf,#sup)}. q(0) :- not &tel {p(1,a,(1,a),f(2,a),"test",#inf,#sup)}.'), [['p(1,a,(1,a),f(2,a),"test",#inf,#sup,0)'], ['q(0,0)']])
         self.assertEqual(solve("{p; q}. :- not &tel {p & q}."), [['p(0)', 'q(0)']])
         self.assertEqual(solve("{p; q}. :- &tel {p | q}."), [[]])
-        self.assertEqual(solve("{p; q}. :- &tel {p <> q}."), [[], ['p(0)', 'q(0)']])
+        self.assertEqual(solve("{p; q}. :- &tel {p <> q}."), [['p(0)'], ['q(0)']])
         self.assertEqual(solve("{p; q}. :- &tel {p -> q}."), [['p(0)']])
         self.assertEqual(solve("{p; q}. :- &tel {p <- q}."), [['q(0)']])
         self.assertEqual(solve("{p; q}. :- &tel {~p | ~q}."), [['p(0)', 'q(0)']])