path: root/tests/results/0307_if_var.intervals.txt

sources/0307_if_var.c:2.14-24: [ x in [0;20] ]
sources/0307_if_var.c:3.7-17: [ x in [-10;-1] ]
Output: [ x in [-10;20] ]