path: root/tests/results/0218_assign_rel.polyhedra.txt

sources/0218_assign_rel.c:5.0-9: [|y-17=0|]
Output: [|y-17=0; x-15=0|]