GATE Computer Science (CS) 2015 Shift 1 Solved Paper

© examsiri.com
Question : 65 of 65
 
Marks: +1, -0
Consider the following pseudo code, where x and y are positive integers.
begin
      q : = 0
      r : = x
      while r â‰¥ y do
             begin
                r : = r – y
                q : = q + 1
      end
end

The post condition that needs to be satisfied after the program terminates is
Go to Question: