tests/results/0323_if_or.polyhedra.txt


1
2
3
4

sources/0323_if_or.c:3.22-34: [|-x+20>=0; -y+40>=0; y-30>=0; x-10>=0;
                                x+y-45>=0|]
sources/0323_if_or.c:4.7-19: [|-x+14>=0; -y+34>=0; y-30>=0; x-10>=0|]
Output: [|-x+20>=0; -y+40>=0; y-30>=0; x-10>=0|]