tests/iscc/ferry

   1 # This test case was contributed by Corentin Ferry <corentin.ferry@irisa.fr>.
   2 # It would result in a segmentation fault on earlier versions of barvinok.
   3 X := { [m, l] -> [o1, o2] :
   4         o1 <= 8 + 10m
   5         and 7 + 10m <= o2
   6         and -9 - 10m + 5l + o1 <= o2
   7         and o2 < o1
   8         and o2 <= 3 + 5l };
   9 assert(card(X) == { [m, l = 1 + 2m] -> 1 });