/*****************************************************************
 ** @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_003 {

type component GeneralComp {
}

testcase TC_NegSem_1908_goto_statement_003 () runs on GeneralComp{
 var integer v_i:=1;
 goto L1; 	//forbidden jump into a loop

 if(v_i==2) {
  label L1;
  v_i:=1;
 }
 else {
  v_i:=2;
  goto L1; 	//forbidden jump into an if-else statement
 }

}

control{

    execute(TC_NegSem_1908_goto_statement_003());

}

}
