summaryrefslogtreecommitdiff
path: root/impl/test/5.eqns
blob: af544cc02e5dc0b69a468f52a8a09c884b7a3ec7 (about) (plain)
1
2
x = max(0, x + y - 4)
y = max(-10, min(max(x + 1, 2 * y), 5))