path: root/tests/results/0501_loop_infinite.constants.txt

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