X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/7db03eb9ea6c6d0a3896d8682b64fd404a833e92..ead3c442d29f0c45989d165f34e27dd0eb7d87c4:/pypol/tests/test_domains.py diff --git a/pypol/tests/test_domains.py b/pypol/tests/test_domains.py index 1beaa85..0e06771 100644 --- a/pypol/tests/test_domains.py +++ b/pypol/tests/test_domains.py @@ -76,14 +76,13 @@ class TestDomain(unittest.TestCase): def test_polyhedral_hull(self): self.assertEqual(self.square1.polyhedral_hull(), self.hull) - + def test_drop_dims(self): self.assertEqual(self.square1.drop_dims('x'), self.dropped) self.assertEqual(self.square1.drop_dims('x y'), self.universe) self.assertEqual(self.universe.drop_dims(' '), self.universe) self.assertEqual(self.empty.drop_dims(' '), Empty) - @unittest.expectedFailure def test_simplify(self): self.assertEqual(self.universe.simplify(), self.universe) self.assertEqual(self.empty.simplify(), Empty)