/*****************************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:19.8, Ensure that the IUT correctly handles goto statements.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/
module Sem_1908_goto_statement_002 {

type component GeneralComp {
}

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

 label L1;
 v_i:=v_i+1;

 if(v_i==2) { goto L1; }	//jumping backward

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


}


control{

    execute(TC_Sem_1908_goto_statement_002());

}

}
