summaryrefslogtreecommitdiff
path: root/tests/results/0101_print_2var.polyhedra.txt
blob: 8d5d333eedc9501d94243786612602004bc95b0c (plain) (blame)
1
2
sources/0101_print_2var.c:3.0-9: [|y-15=0|]
Output: [|y-15=0; x-3=0|]