/***************************************************
 ** @author   STF 451
 ** @version  0.0.1
 ** @purpose  1:6.3.2, Ensure that the IUT rejects assignments between incompatible structures
 ** @verdict  pass reject
 ***************************************************/

module NegSem_060302_structured_types_015 {

    type record RecordType {
        integer  a,
        integer  b optional,
        integer  c
    }

    type record of integer IntegerList;


    type component GeneralComp {
    }

    testcase TC_NegSem_060302_structured_types_015() runs on GeneralComp {

		var RecordType v_record := { 1, omit, 2};
		var IntegerList v_IntList;
		var integer v_array[2];

        v_IntList:=v_record;  //assignment between incompatible types

    }

    control{
        execute(TC_NegSem_060302_structured_types_015());
    }

}
