Consider the following pseudo code, where \(x\) and \(y\) are positive…

GATE · 2015 · CS · Set 1 · Computer Science & IT

begin
    q := 0
    r := x
    while r ≥ y do
    begin
        r := r - y
        q := q + 1
    end
end

1. A.

   $\{ r = qx + y \wedge r < y\}$

2. B.

   $\{ x = qy + r \wedge r < y\}$

3. C.

   $\{ y = qx + r \wedge 0 < r < y\}$

4. D.

   $\{ q + 1 < r - y \wedge y > 0\}$

Attempted by 383 students.