summaryrefslogblamecommitdiff
path: root/tests/results/0202_assign_expr.polyhedra.txt
blob: d9a3c7231c65a027a4dd8118929b7508bc688eca (plain) (tree) 
bcde99f

1

                 
Output: [|x-4=0|]
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-21 17:06:04 +0000