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