path: root/tests/results/0317_cmp_eq2.intervals.txt

sources/0317_cmp_eq2.c:3.11-23: bottom
Output: [ x in [15;20], y in [25;30] ]