summaryrefslogtreecommitdiff
path: root/impl/systems/min-test
blob: a05a66256c5e9d602c2ffefaccb5dce99b287bbe (about) (plain)
1
2
3
x1 = min(1, x1)
x2 = min(x2+1, x3)
x3 = 0