tests/results/0322_if_and.polyhedra.txt


1
2
3
4

sources/0322_if_and.c:3.22-34: [|-x+20>=0; -y+40>=0; y-35>=0; x-15>=0|]
sources/0322_if_and.c:4.7-19: [|-x-y+54>=0; -x+20>=0; -y+40>=0; y-30>=0;
                                x-10>=0|]
Output: [|-x+20>=0; -y+40>=0; y-30>=0; x-10>=0|]