summaryrefslogblamecommitdiff
path: root/tests/results/0502_loop_infinite2.constants.txt
blob: 015089f01227bcb58429cfd87b3353603e67fe1c (plain) (tree)
1
2
3
4
5




                                                    
sources/0502_loop_infinite2.c:3.2-4.2: [ x in {0} ]
sources/0502_loop_infinite2.c:3.2-4.2: [ x in {-1} ]
sources/0502_loop_infinite2.c:3.2-4.2: [ x in {-2} ]
sources/0502_loop_infinite2.c:3.2-4.2: [ x in top ]
Output: [ x in top ]