summaryrefslogtreecommitdiff
path: root/isl_test.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2008-09-20 22:28:58 +0200
committerSven Verdoolaege <skimo@kotnet.org>2008-10-13 12:31:56 +0200
commit1df7669a5bf6b6d5a23d627845736841c1b95264 (patch)
tree29624809872e8c3fc512219f2bd450fda32cc6b5 /isl_test.c
parent43d0f6965e566fe242f172a8da80b5e1d300375c (diff)
downloadisl-1df7669a5bf6b6d5a23d627845736841c1b95264.tar.gz
isl-1df7669a5bf6b6d5a23d627845736841c1b95264.tar.bz2
isl-1df7669a5bf6b6d5a23d627845736841c1b95264.zip
convex_hull: use elimination based convex hull for unbounded polyhedra
Diffstat (limited to 'isl_test.c')
-rw-r--r--isl_test.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/isl_test.c b/isl_test.c
index 0fbd75a3..33c891f7 100644
--- a/isl_test.c
+++ b/isl_test.c
@@ -114,6 +114,9 @@ void test_convex_hull(struct isl_ctx *ctx)
test_convex_hull_case(ctx, "convex6");
test_convex_hull_case(ctx, "convex7");
test_convex_hull_case(ctx, "convex8");
+ test_convex_hull_case(ctx, "convex9");
+ test_convex_hull_case(ctx, "convex10");
+ test_convex_hull_case(ctx, "convex11");
}
int main()