summaryrefslogblamecommitdiff
path: root/tests/results/0501_loop_infinite.intervals.txt
blob: eab060ca7baebda92fc00975d6164835d38c1908 (plain) (tree)
1
2
3
4
5




                                                    
sources/0501_loop_infinite.c:3.2-4.0: [ x in [0;0] ]
sources/0501_loop_infinite.c:3.2-4.0: [ x in [0;0] ]
sources/0501_loop_infinite.c:3.2-4.0: [ x in [0;0] ]
sources/0501_loop_infinite.c:3.2-4.0: [ x in [0;0] ]
Output: bottom