diff options
author | Sven Verdoolaege <sven@nestor.cs.kuleuven.be> | 2010-02-18 15:56:47 +0100 |
---|---|---|
committer | Sven Verdoolaege <sven@nestor.cs.kuleuven.be> | 2010-02-18 15:56:47 +0100 |
commit | 53b4b1cffd9d07b6769cdc4a5141c8a240560eb2 (patch) | |
tree | 429de01ddb35f99684615b70f98d60f600ca0647 /isl_test.c | |
parent | 4cd67d65e7996e58187ee04c03c129a52acd2596 (diff) | |
download | isl-53b4b1cffd9d07b6769cdc4a5141c8a240560eb2.tar.gz isl-53b4b1cffd9d07b6769cdc4a5141c8a240560eb2.tar.bz2 isl-53b4b1cffd9d07b6769cdc4a5141c8a240560eb2.zip |
isl_map_transitive_closure: improve accuracy by copying some mixed delta constraints
Diffstat (limited to 'isl_test.c')
-rw-r--r-- | isl_test.c | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -813,6 +813,15 @@ void test_closure(struct isl_ctx *ctx) assert(exact); isl_map_free(map); + map = isl_map_read_from_str(ctx, + "[n] -> { [x] -> [y]: 1 <= n <= y - x <= 10 }", -1); + map = isl_map_transitive_closure(map, &exact); + assert(!exact); + map2 = isl_map_read_from_str(ctx, + "[n] -> { [x] -> [y] : 1 <= n <= 10 and y >= n + x }", -1); + assert(isl_map_is_equal(map, map2)); + isl_map_free(map); + isl_map_free(map2); } int main() |