path: root/tests/results/0201_assign_cst2.intervals.txt

sources/0201_assign_cst2.c:2.0-11: [ x in [-oo;+oo], y in [-oo;+oo] ]
sources/0201_assign_cst2.c:4.0-11: [ x in [12;12], y in [-oo;+oo] ]
sources/0201_assign_cst2.c:7.0-11: [ x in [99;99], y in [15;15] ]
Output: [ x in [99;99], y in [15;15] ]