path: root/tests/results/0203_assign_expr2.polyhedra.txt

sources/0203_assign_expr2.c:5.0-9: [|x-30=0|]
Output: [|y-16=0; x-30=0|]