/***************************************************
 ** @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_018 {

    type set SetType {
        integer  a,
        integer  b,
        integer  c
    }

    type component GeneralComp {
    }

    testcase TC_NegSem_060302_structured_types_018() runs on GeneralComp {

		var SetType v_set := { 1, 2, 3};
		var integer v_array[3];

        v_array:=v_set;  //assignment between incompatible types, see clause G.9 compatibility rules

    }

    control{
        execute(TC_NegSem_060302_structured_types_018());
    }

}
