/***************************************************
 ** @author   STF 433
 ** @version  0.0.1
 ** @purpose  1:6.1.2.3, Assign invalid value to range constrained charstring.
 ** @verdict  pass reject
 ***************************************************/
module NegSem_06010203_Ranges_015 {
    type charstring MyCharstringRange ("a".."f");

    type component GeneralComp {}

    testcase TC_NegSem_06010203_Ranges_015() runs on GeneralComp {
        var MyCharstringRange v_c1;
        v_c1 := "abcgef"; // g not allowed
        setverdict(pass);
    }

    control{
        execute(TC_NegSem_06010203_Ranges_015());
    }
}