summaryrefslogblamecommitdiff
path: root/tests/results/0502_loop_infinite2.polyhedra.txt
blob: 41c8ebbf5f566ba008fe6c4d3beff64ba1f8a214 (plain) (tree)
1
2
3
4
5




                                                  
sources/0502_loop_infinite2.c:3.2-4.2: [|x=0|]
sources/0502_loop_infinite2.c:3.2-4.2: [|x+1=0|]
sources/0502_loop_infinite2.c:3.2-4.2: [|x+2=0|]
sources/0502_loop_infinite2.c:3.2-4.2: [|-x-3>=0|]
Output: bottom