From: Danielle Bolan Date: Thu, 3 Jul 2014 08:28:55 +0000 (+0200) Subject: Add a few tests with universe and empty X-Git-Tag: 1.0~158 X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/9f4798446bbb3ac43f7b8291ddae095af3818299?hp=5de84d8c67faaedde2ecd0eb8dda080b38f86023 Add a few tests with universe and empty --- diff --git a/pypol/tests/test_domains.py b/pypol/tests/test_domains.py index e9dd1cd..df7b01c 100644 --- a/pypol/tests/test_domains.py +++ b/pypol/tests/test_domains.py @@ -56,26 +56,38 @@ class TestDomain(unittest.TestCase): self.assertFalse(self.square1 == self.square2) def test_isdisjoint(self): - self.assertFalse(self.square1.isdisjoint(self.square2)) + self.assertFalse(self.square1.isdisjoint(self.square2)) + self.assertFalse(self.universe.isdisjoint(self.square1)) self.assertTrue(self.square1.isdisjoint(self.square5)) + self.assertTrue(self.empty.isdisjoint(self.square1)) def test_issubset(self): self.assertTrue(self.square4.issubset(self.unbound_poly)) self.assertFalse(self.square1.issubset(self.square2)) + self.assertTrue(self.square1.issubset(self.universe)) + self.assertTrue(self.empty.issubset(self.square1)) def test_le(self): self.assertTrue(self.square4 <= self.square3) self.assertFalse(self.square3 <= self.square4) - + self.assertTrue(self.empty <= self.square1) + self.assertTrue(self.square1 <= self.universe) + def test_lt(self): self.assertTrue(self.square4 < self.square3) self.assertFalse(self.square3 < self.square4) + self.assertTrue(self.empty < self.square1) + self.assertTrue(self.square1 < self.universe) def test_complement(self): self.assertEqual(~self.square1, self.complement) + self.assertEqual(~self.universe, Empty) + self.assertEqual(~self.empty, self.universe) def test_polyhedral_hull(self): self.assertEqual(self.square1.polyhedral_hull(), self.hull) + self.assertEqual(self.universe.polyhedral_hull(), self.universe) + self.assertEqual(self.empty.polyhedral_hull(), self.empty) def test_project_out(self): self.assertEqual(self.square1.project_out(symbols('x')), self.dropped) @@ -88,18 +100,27 @@ class TestDomain(unittest.TestCase): self.assertEqual(self.empty.simplify(), Empty) def test_sample(self): + self.assertEqual(self.square6.sample(), self.sample) self.assertEqual(self.empty.sample(), Empty) self.assertEqual(self.universe.sample(), self.universe) - self.assertEqual(self.square6.sample(), self.sample) - + def test_intersection(self): self.assertEqual(self.square1.intersection(self.square2), self.intersection) def test_and(self): self.assertEqual(self.square2 & self.square1, self.intersection) + self.assertEqual(self.square1 & self.universe, self.square1) + self.assertEqual(self.empty & self.square1, Empty) + self.assertEqual(self.universe & self.universe, self.universe) + self.assertEqual(self.universe & self.empty, Empty) + self.assertEqual(self.empty & self.empty, Empty) def test_union(self): self.assertEqual(self.square1.union(self.square2), self.union) + self.assertEqual(self.square1.union(self.empty), self.square1) + self.assertEqual(self.square1.union(self.universe), self.universe) + self.assertEqual(self.universe.union(self.universe), self.universe) + self.assertEqual(self.empty.union(self.empty), self.empty) def test_or(self): self.assertEqual(self.square1 | self.square2, self.union) @@ -107,6 +128,9 @@ class TestDomain(unittest.TestCase): def test_add(self): self.assertEqual(self.square2 + self.square1, self.sum1) self.assertEqual(Polyhedron(self.square1 + self.square2), self.sum2) + self.assertEqual(self.universe + self.square1, self.universe) + self.assertEqual(self.empty + self.square1, self.square1) + self.assertEqual(self.universe + self.universe, self.universe) def test_difference(self): self.assertEqual(self.square2 - self.square1, self.difference1) @@ -116,6 +140,10 @@ class TestDomain(unittest.TestCase): def test_lexmin(self): self.assertEqual(self.square1.lexmin(), self.lexmin) + self.assertEqual(self.universe.lexmin(), self.universe) + self.assertEqual(self.empty.lexmin(), Empty) def test_lexmax(self): self.assertEqual(self.square1.lexmax(), self.lexmax) + self.assertEqual(self.universe.lexmax(), self.universe) + self.assertEqual(self.empty.lexmax(), Empty)