summaryrefslogtreecommitdiff
path: root/tests/results/0500_loop_count.polyhedra.txt
blob: effcc42e72fc05c8d2eac20cfee019346af8e1f8 (plain) (blame)
1
2
3
4
5
sources/0500_loop_count.c:3.2-4.2: [|x=0|]
sources/0500_loop_count.c:3.2-4.2: [|x-1=0|]
sources/0500_loop_count.c:3.2-4.2: [|x-2=0|]
sources/0500_loop_count.c:3.2-4.2: [|-x+99>=0; x-3>=0|]
Output: [|x-100=0|]