path: root/tests/results/0506_loop_limit.intervals.txt

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