path: root/tests/results/0100_print_var.intervals.txt

sources/0100_print_var.c:2.0-9: [ x in [2;2] ]
Output: [ x in [2;2] ]