index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
results
/
0308_if_var2.polyhedra.txt
blob: 3378d1d3c8caf1e93a1d65ed6f6369ce8b014092 (
plain
) (
blame
)
1
Output: [|-x+20>=0; x+1>=0|]
