From: Danielle Bolan Date: Fri, 27 Jun 2014 15:49:26 +0000 (+0200) Subject: added unbounded test, deleted unused cvariable X-Git-Tag: 1.0~190 X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/commitdiff_plain/fd990941199581e977b4455345b55f841bbaa05a?ds=sidebyside added unbounded test, deleted unused cvariable --- diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py index 44826c1..ac67cf8 100644 --- a/pypol/polyhedra.py +++ b/pypol/polyhedra.py @@ -91,7 +91,6 @@ class Polyhedron(Domain): equalities = [] inequalities = [] for islconstraint in islconstraints: - islpr = libisl.isl_printer_to_str(mainctx) constant = libisl.isl_constraint_get_constant_val(islconstraint) constant = islhelper.isl_val_to_int(constant) coefficients = {} diff --git a/pypol/tests/test_domains.py b/pypol/tests/test_domains.py index e31d8e7..27d9014 100644 --- a/pypol/tests/test_domains.py +++ b/pypol/tests/test_domains.py @@ -14,7 +14,7 @@ class TestDomain(unittest.TestCase): self.square2 = Polyhedron(inequalities=[x - 1, 3 - x , y - 1, 3 - y]) #correct representation self.square3 = Polyhedron(inequalities=[x, 3 - x, y, 3 - y]) self.square4 = Polyhedron(inequalities=[x - 1, 2 - x, y - 1, 2 - y]) - self.square5 = Polyhedron(inequalities=[x, 3 - x, y, 3 - y]) + self.square5 = Polyhedron(inequalities=[x, 3 - x, y]) self.square6 = Polyhedron(inequalities=[x - 3, 6 - x, y - 3, 6 -y]) self.universe = Polyhedron([]) self.disjoint = And(Ge(x, 0), Ge(-x + 2, 0), Ge(y, 0), Ge(-y + 2, 0)) @@ -45,9 +45,9 @@ class TestDomain(unittest.TestCase): def test_isbounded(self): self.assertTrue(self.square1.isbounded()) + self.assertFalse(self.square5.isbounded()) def test_eq(self): - self.assertTrue(self.square3.__eq__(self.square5)) self.assertTrue(self.square1.__eq__(self.square1)) self.assertFalse(self.square1.__eq__(self.square2))