summaryrefslogtreecommitdiff
path: root/isl_test.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2008-08-22 15:29:16 +0200
committerSven Verdoolaege <skimo@kotnet.org>2008-08-25 10:35:36 +0200
commitb266652bfdd1b5e9075ed5febb2036f1a5c62d84 (patch)
tree50a18af3de1be35e25b5da2156be9005a648ccfe /isl_test.c
parent14578ca228e38f9d45688cbf2c14bc855500f9a8 (diff)
downloadisl-b266652bfdd1b5e9075ed5febb2036f1a5c62d84.tar.gz
isl-b266652bfdd1b5e9075ed5febb2036f1a5c62d84.tar.bz2
isl-b266652bfdd1b5e9075ed5febb2036f1a5c62d84.zip
isl_basic_map_affine_hull: compute integer affine hull
Diffstat (limited to 'isl_test.c')
-rw-r--r--isl_test.c10
1 files changed, 8 insertions, 2 deletions
diff --git a/isl_test.c b/isl_test.c
index 5616892d..f54ce932 100644
--- a/isl_test.c
+++ b/isl_test.c
@@ -6,7 +6,7 @@
static char *srcdir;
-void test_affine_hull(struct isl_ctx *ctx)
+void test_affine_hull_case(struct isl_ctx *ctx, const char *name)
{
char filename[PATH_MAX];
FILE *input;
@@ -14,7 +14,7 @@ void test_affine_hull(struct isl_ctx *ctx)
struct isl_basic_set *bset1, *bset2;
n = snprintf(filename, sizeof(filename),
- "%s/test_inputs/affine.polylib", srcdir);
+ "%s/test_inputs/%s.polylib", srcdir, name);
assert(n < sizeof(filename));
input = fopen(filename, "r");
assert(input);
@@ -32,6 +32,12 @@ void test_affine_hull(struct isl_ctx *ctx)
fclose(input);
}
+void test_affine_hull(struct isl_ctx *ctx)
+{
+ test_affine_hull_case(ctx, "affine2");
+ test_affine_hull_case(ctx, "affine");
+}
+
void test_convex_hull_case(struct isl_ctx *ctx, const char *name)
{
char filename[PATH_MAX];