# Computer Science and Information Technology - CSE

Specialization
News
Question of the Day
GATE 2015   CS   Question No. 65

Consider the following pseudo code, where x and y are positive integers.

begin
q: = 0
r : = x
while r
y do

being
r : = r – y
q : = q + 1
end
end

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