/***************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:19.6, Ensure that the IUT properly evaluates do-while statements
 ** @verdict  pass  accept, ttcn3verdict:pass
 ***************************************************/
module Sem_1906_do_while_statement_002 {

type component GeneralComp {
}

testcase TC_Sem_1906_do_while_statement_002 () runs on GeneralComp{
 var integer v_i:=1;

 do {
  if(v_i==5) { break; }
  v_i:=v_i+1;
 } while(v_i<10);

  if(v_i==5) { setverdict(pass); }
  else  { setverdict(fail); }

}


control{

    execute(TC_Sem_1906_do_while_statement_002());

}

}
