path: root/tests/results/0102_print_3var.intervals.txt

sources/0102_print_3var.c:4.0-11: [ z in [99;99], x in [3;3] ]
Output: [ x in [3;3], y in [15;15], z in [99;99] ]