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