repo.or.cz
/
isl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
add isl_basic_map_div_is_marked_unknown
[isl.git]
/
test_inputs
/
negative.pip
blob
45090a59230fbecddb05fe8ec767d3a01060f96f
1
1 3
2
# n 1
3
1 1 -1 # n >= 1
4
-1
5
6
2 4
7
# i n 1
8
1 1 0 1 # i >= -1
9
1 -1 1 0 # i <= n