summaryrefslogtreecommitdiff
path: root/tests/results/0215_assign_mul3.polyhedra.txt
blob: 245e58b95ffede047bda1d43a4aae3fa02baf6a5 (plain) (blame)
1
Output: [|-x+30>=0; x+50>=0|]