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

// The following requirement is tested:
/*
 * Restriction a): It is not allowed to jump out of or into functions, test cases and altsteps.
 * */

module NegSem_1908_goto_statement_004{

type component GeneralComp {
}

testcase TC_NegSem_1908_goto_statement_004() runs on GeneralComp{
 var integer v_i:=1;
 goto L1; 	//forbidden jump into into control part

}

control{
    execute(TC_NegSem_1908_goto_statement_004());
     label L1;
}

}
