From 29a25956aee0ca14f667350791ac875879e49104 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 20 Jun 2015 19:13:34 +0200
Subject: [PATCH] add some more gist test cases

These will help to characterize the effect of the next commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl_test.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/isl_test.c b/isl_test.c
index a618e9da..173634e5 100644
--- a/isl_test.c
+++ b/isl_test.c
@@ -1277,6 +1277,11 @@ struct {
 			"(n >= 1 and a >= 0 and b <= 2148 - n - a and "
 			"b >= 0) }",
 	  "{ [m, n, ku, kl] }" },
+	{ "{ [a, a, b] : a >= 10 }",
+	  "{ [a, b, c] : c >= a and c <= b and c >= 2 }",
+	  "{ [a, a, a] : a >= 10 }" },
+	{ "{ [i, j] : i >= 0 and i + j >= 0 }", "{ [i, j] : i <= 0 }",
+	  "{ [0, j] : j >= 0 }" },
 };
 
 static int test_gist(struct isl_ctx *ctx)
-- 
2.11.4.GIT