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

type component GeneralComp {
}

testcase TC_NegSem_1908_goto_statement_002 () runs on GeneralComp{
 var integer v_i;
 goto L1; 	//forbidden jump into a loop

 for(v_i:=1; v_i<10; v_i:= v_i+1) {
  label L1;
  if(v_i==5) { break; }
 }

}


control{

    execute(TC_NegSem_1908_goto_statement_002());

}

}
