path: root/tests/results/0218_assign_rel.intervals.txt

sources/0218_assign_rel.c:5.0-9: [ y in [17;17] ]
Output: [ x in [15;15], y in [17;17] ]