path: root/tests/results/0200_assign_cst.polyhedra.txt

sources/0200_assign_cst.c:2.0-9: top
sources/0200_assign_cst.c:4.0-9: [|x-12=0|]
sources/0200_assign_cst.c:6.0-9: [|x-15=0|]
Output: [|x-15=0|]