diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2010-03-23 14:46:50 +0100 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-03-23 15:41:22 +0100 |
| commit | cf06bf41b213f72dd4a6d8ac8d13e6b7d36b7bda (patch) | |
| tree | 194baeaa0e8b37e5a0b56b437a8d87a3a6381af7 /isl_test.c | |
| parent | 7b9d42dcf7f7b066fcd25e0a568a30d11ffbccb3 (diff) | |
| download | isl-cf06bf41b213f72dd4a6d8ac8d13e6b7d36b7bda.tar.gz isl-cf06bf41b213f72dd4a6d8ac8d13e6b7d36b7bda.tar.bz2 isl-cf06bf41b213f72dd4a6d8ac8d13e6b7d36b7bda.zip | |
isl_convex_hull.c: simplify computation of initial facet constraint
The old implementation was needlessly complicated and apparently
incorrect (witness the extra test case).
The simplified version passes the new test case.
The new test case is based on a bug report for CLooG/isl
by Muthu Manikandan <muthumanikandan@gmail.com>.
Diffstat (limited to 'isl_test.c')
| -rw-r--r-- | isl_test.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -491,6 +491,7 @@ void test_convex_hull(struct isl_ctx *ctx) test_convex_hull_case(ctx, "convex12"); test_convex_hull_case(ctx, "convex13"); test_convex_hull_case(ctx, "convex14"); + test_convex_hull_case(ctx, "convex15"); } void test_gist_case(struct isl_ctx *ctx, const char *name) |