]> CRI, Mines Paris - PSL - linpy.git/blobdiff - pypol/tests/test_domains.py
Fix make test
[linpy.git] / pypol / tests / test_domains.py
index 1beaa85e7c9154b9d1bea7611c03c24669a8dc8f..0e06771aa1d6795b08019c0d1a5f1f6a606002fa 100644 (file)
@@ -76,14 +76,13 @@ class TestDomain(unittest.TestCase):
 
     def test_polyhedral_hull(self):
         self.assertEqual(self.square1.polyhedral_hull(), self.hull)
 
     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)
 
     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)
     def test_simplify(self):
         self.assertEqual(self.universe.simplify(), self.universe)
         self.assertEqual(self.empty.simplify(), Empty)