summaryrefslogblamecommitdiff
path: root/tests/results/0506_loop_limit.intervals.txt
blob: 7cb2cef3413cd3d04ba7a85b51e0e2132b349e56 (plain) (tree)
1
2

                                                 
sources/0506_loop_limit.c:5.0-9: [ x in [0;+oo] ]
Output: [ x in [0;+oo] ]