index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
results
/
0507_loop_limit2.polyhedra.txt
blob: d2a1ea6a11f8dbd97d5fed34527e6bf05f622bc5 (
plain
) (
blame
)
1
2
sources/0507_loop_limit2.c:6.0-9: [|-x+1000>=0; x>=0|] Output: [|-N+1000>=0; x>=0; N-x>=0|]
