From f8a95ab33582f215a81d2670e17c18bc5655906b Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 30 Mar 2012 14:19:20 +0200 Subject: [PATCH] add isl_set_coalesce test case We will be making changes to isl_map_coalesce and we want to make sure we won't break this case. Signed-off-by: Sven Verdoolaege --- isl_test.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/isl_test.c b/isl_test.c index dec3f1a..4d9945e 100644 --- a/isl_test.c +++ b/isl_test.c @@ -1135,6 +1135,9 @@ int test_coalesce(struct isl_ctx *ctx) "j >= 1 and j' <= i + j - i' and i >= 1; " "[1, 1, 1, 1] }", 0) < 0) return -1; + if (test_coalesce_set(ctx, "{ [i,j] : exists a,b : i = 2a and j = 3b; " + "[i,j] : exists a : j = 3a }", 1) < 0) + return -1; return 0; } -- 2.7.4