path: root/tests/results/0320_cmp_eq_ne.intervals.txt

sources/0320_cmp_eq_ne.c:3.11-4.0: [ x in [10;10], y in [10;10] ]
sources/0320_cmp_eq_ne.c:4.4-16: [ x in [11;15], y in [10;10] ]
Output: [ x in [10;15], y in [10;10] ]