0311_cmp_le2.polyhedra.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0311_cmp_le2.polyhedra.txt

blob: 6fc97d148d409696280347b3a7fe8b5229c7bdc8 (plain) (blame)

1
2

sources/0311_cmp_le2.c:3.11-23: [|-x+y>=0; -y+17>=0; x-10>=0|]
Output: [|-x+20>=0; -y+17>=0; y-8>=0; x-10>=0|]