From 71c27ce164641d86ac0dec1faa56a471cf7518d3 Mon Sep 17 00:00:00 2001 From: Hao Gao Date: Thu, 26 Apr 2018 21:40:17 -0500 Subject: [PATCH 1/2] Fix a bug in demo program --- examples/demo.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/demo.py b/examples/demo.py index 81085d7..b546de0 100644 --- a/examples/demo.py +++ b/examples/demo.py @@ -10,7 +10,7 @@ bset = (isl.BasicSet.universe(space) .add_constraint(isl.Constraint.ineq_from_names(space, {1: 5, "y": -1}))) print("set 1 %s:" % bset) -bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }") +bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }", context=ctx) print("set 2: %s" % bset2) bsets_in_union = [] -- GitLab From 99b7d28dfdc0a44a6f1384d2395e1d106491bcbd Mon Sep 17 00:00:00 2001 From: Hao Gao Date: Thu, 26 Apr 2018 22:03:55 -0500 Subject: [PATCH 2/2] Fix flake8 --- examples/demo.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/examples/demo.py b/examples/demo.py index b546de0..4f1ddbe 100644 --- a/examples/demo.py +++ b/examples/demo.py @@ -10,7 +10,8 @@ bset = (isl.BasicSet.universe(space) .add_constraint(isl.Constraint.ineq_from_names(space, {1: 5, "y": -1}))) print("set 1 %s:" % bset) -bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }", context=ctx) +bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }", + context=ctx) print("set 2: %s" % bset2) bsets_in_union = [] -- GitLab