path: root/tests/results/0312_cmp_le3.intervals.txt

sources/0312_cmp_le3.c:3.11-21: bottom
Output: [ x in [30;55], y in [10;20] ]