0319_cmp_ne.polyhedra.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0319_cmp_ne.polyhedra.txt

blob: 68272ded9118bad83d5256919631ba1a37a5d96a (plain) (blame)

1
2

sources/0319_cmp_ne.c:3.11-23: [|y-10=0; -x+15>=0; x-11>=0|]
Output: [|y-10=0; -x+15>=0; x-10>=0|]