Problem Set 2
Input for problem 2
block([ assume(tru()), assgn('x', num(0)), assgn('y', num(0)), assgn('t', num(0)), whle(lt(vr('x'), num(10)), block([ ifte(lt(num(5), vr('t')), block([ assgn('x', plus(vr('x'),num(1))), assgn('y', plus(vr('y'),num(1))), ]), skip()), assgn('t', plus(vr('t'), num(1))), ]) ), assert(eq(vr('x'), vr('y'))) ]);
Run
P2a
Run
P2b