/***************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @verdict  pass reject
 ***************************************************/
module NegSem_160102_predefined_functions_024 {

type component GeneralComp {
}


testcase TC_NegSem_160102_predefined_functions_024 () runs on GeneralComp {
	var bitstring v_i;

 	v_i:=replace('00000110'B,-1,3,'111'B);		//wrong index value

}


control{

    execute(TC_NegSem_160102_predefined_functions_024());

}

}
