index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
results
/
0312_cmp_le3.polyhedra.txt
blob: 32ffc17d760aeb54cd82141061bf3fa3dea99b58 (
plain
) (
blame
)
1
2
sources/0312_cmp_le3.c:3.11-21: bottom Output: [|-x+55>=0; -y+20>=0; y-10>=0; x-30>=0|]
