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

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