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

module NegSem_060301_non_structured_types_011 {
    type bitstring ConstrainedBitString length (1);

type component GeneralComp {
}

testcase TC_NegSem_060301_non_structured_types_011() runs on GeneralComp {

    var bitstring v_bitstr := '10'B;
    var ConstrainedBitString v_constrainedBitstr;


    v_constrainedBitstr:=v_bitstr; // length 2 string assigned to length 1 type
}

control{
    execute(TC_NegSem_060301_non_structured_types_011());
}

}
