WhileLoopBug.mo



Hello,

The following code fragment runs but I do not understand the result. I would expect countks to be constant 10 and count to be constant 0. Instead countks is 11 at the beginning and end and zero everywhere else.

model WhileLoopBug
  Real count;
  Real countks;
algorithm
  count := 0;
  while count < 10 loop
    count := count + 1;
  end while;
  countks := count;
  count := 0;
end WhileLoopBug;