/***************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:6.3.1, Ensure that the IUT correctly handles assignments from incompatible type ranges
 ** @verdict  pass reject
 ***************************************************/

module NegSem_060301_non_structured_types_001 {
    type integer ConstrainedInt(1..10);

type component GeneralComp {
}

testcase TC_NegSem_060301_non_structured_types_001() runs on GeneralComp {

    var integer v_int:=15;
    var ConstrainedInt v_constrainedInt;


    v_constrainedInt:=v_int; // 15 not in range 1..10

}

control{
    execute(TC_NegSem_060301_non_structured_types_001());
}

}
