X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/cd2197879049a836b02a331adf0a00c0b87fe043..d9ce6feb2d36e40e83326744f1d4ff3890d1874f:/pypol/tests/test_domains.py diff --git a/pypol/tests/test_domains.py b/pypol/tests/test_domains.py index 820d556..755547e 100644 --- a/pypol/tests/test_domains.py +++ b/pypol/tests/test_domains.py @@ -22,7 +22,6 @@ class TestDomain(unittest.TestCase): self.complement = Or(Ge(-x - 1, 0), Ge(x - 3, 0), And(Ge(x, 0), Ge(-x + 2, 0), Ge(-y - 1, 0)), And(Ge(x, 0), Ge(-x + 2, 0), Ge(y - 3, 0))) self.hull = And(Ge(x, 0), Ge(-x + 2, 0), Ge(y, 0), Ge(-y + 2, 0)) self.dropped = And(Ge(y, 0), Ge(-y + 2, 0)) - self.sample = And(Eq(y - 3, 0), Eq(x - 1, 0)) self.intersection = And(Ge(x - 1, 0), Ge(-x + 2, 0), Ge(y - 1, 0), Ge(-y + 2, 0)) self.union = Or(And(Ge(x, 0), Ge(-x + 2, 0), Ge(y, 0), Ge(-y + 2, 0)), And(Ge(x - 1, 0), Ge(-x + 3, 0), Ge(y - 1, 0), Ge(-y + 3, 0))) self.sum1 = Or(And(Ge(x, 0), Ge(-x + 2, 0), Ge(y, 0), Ge(-y + 2, 0)), And(Ge(x - 1, 0), Ge(-x + 3, 0), Ge(y - 1, 0), Ge(-y + 3, 0))) @@ -104,9 +103,10 @@ 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(), {Symbol('x'): 1, Symbol('y'): 3}) + with self.assertRaises(ValueError): + self.empty.sample() + self.assertEqual(self.universe.sample(), {}) def test_intersection(self): self.assertEqual(self.square1.intersection(self.square2), self.intersection)