tests/results/0200_assign_cst.intervals.txt


1
2
3
4

sources/0200_assign_cst.c:2.0-9: [ x in [-oo;+oo] ]
sources/0200_assign_cst.c:4.0-9: [ x in [12;12] ]
sources/0200_assign_cst.c:6.0-9: [ x in [15;15] ]
Output: [ x in [15;15] ]