summaryrefslogblamecommitdiff
path: root/tests/results/0209_assign_neg.polyhedra.txt
blob: 6781630736764b602d6f11ed61e81770e6a7ef31 (plain) (tree)
1
                 
Output: [|x+9=0|]