/***************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:19.4, Ensure that the IUT properly evaluates for statements
 ** @verdict  pass  reject
 ***************************************************/
module NegSem_1904_for_statement_001 {

type component GeneralComp {
}

testcase TC_NegSem_1904_for_statement_001 () runs on GeneralComp{

 for(var integer v_i:=1; v_i<10; v_i:= j+1) {
 }

  if(v_i==10) { setverdict(pass); }		//v_i is not accessible from outside the loop

}


control{

    execute(TC_NegSem_1904_for_statement_001());

}

}
