/***************************************************
 ** @author   STF 487
 ** @version  0.0.1
 ** @purpose  1:19.1, Ensure that omit assignment to an array is not allowed
 ** @verdict  pass  reject
 ***************************************************/

//Restriction c)
/*If the left-hand side of the assignment is a reference to a non-optional value object (i.e. a value definition, a mandatory field, a record/set of/array element, a union alternative, a value parameter),
the right-hand side shall not be a reference to an omitted field or the omit symbol.*/

module NegSem_1901_assignments_006{

type component GeneralComp {
}



testcase TC_NegSem_1901_assignments_006 () runs on GeneralComp system GeneralComp {

 var integer v_i[2];

   v_i:={11,omit};	//assignment not allowed

    setverdict(pass,v_i);

}


control{

    execute(TC_NegSem_1901_assignments_006());

}

}
