0307_if_var.polyhedra.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0307_if_var.polyhedra.txt

blob: c9e0e7a9436c59113f9cc9034942eb0578e5ac9d (plain) (blame)

1
2
3

sources/0307_if_var.c:2.14-24: [|-x+20>=0; x>=0|]
sources/0307_if_var.c:3.7-17: [|-x-1>=0; x+10>=0|]
Output: [|-x+20>=0; x+10>=0|]