path: root/tests/results/0507_loop_limit2.polyhedra.txt

sources/0507_loop_limit2.c:6.0-9: [|-x+1000>=0; x>=0|]
Output: [|-N+1000>=0; x>=0; N-x>=0|]