path: root/tests/results/0315_cmp_gt.intervals.txt


                                                             
sources/0315_cmp_gt.c:3.10-22: [ x in [16;20], y in [15;19] ]
Output: [ x in [10;20], y in [15;30] ]
sources/0315_cmp_gt.c:3.10-22: [ x in [16;20], y in [15;19] ]
Output: [ x in [10;20], y in [15;30] ]