xref: /netbsd-src/external/mit/isl/dist/test_inputs/negative.pip (revision 5971e316fdea024efff6be8f03536623db06833e) 
11 3
2#  n  1
31  1 -1 # n >= 1
4-1
5
62 4
7#  i  n  1
81  1  0  1 # i >= -1
91 -1  1  0 # i <= n
10