From 57e5528d22b36174fa6f819aa3fb4835ab0b7ebc Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Sat, 14 Jul 2018 15:31:36 +0200 Subject: [PATCH] Add lexmin test scavenged from mailing list --- test/test_isl.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/test/test_isl.py b/test/test_isl.py index 28f023d..46855df 100644 --- a/test/test_isl.py +++ b/test/test_isl.py @@ -300,6 +300,14 @@ def test_creation_error(): "{ [i0, i1, i2] : 0 <= i0 < n1 and 0 and 0 <= i2 <= 15 }") +def test_lexmin(): + print(isl.Set("""{ [s] : exists a,b,c : + 0 <= a <= 5 and 1 <= b <= 4 and 2 <= c <= 7 and + ((2 <= b and b <= 3) implies (a <= 1 or a >= 3)) and + ((not (c < 5 or b > 3)) implies (a > 2 and c < 3)) and s = a + b + c } + """).lexmin()) + + if __name__ == "__main__": import sys if len(sys.argv) > 1: -- GitLab