path: root/tests/results/0508_loop_init.constants.txt

sources/0508_loop_init.c:13.2-14.0: ERROR: assertion failure
Output: [ init in top, x in top ]