Newer
Older
/***************************************************
** @author STF 521
** @version 0.0.1
** @purpose 1:6.1.1.1, Access bitstring elements
** @verdict pass reject
***************************************************/
/* The following requirements are tested:
* For initializing an uninitialized string with a single element,
* the index value zero (0) can be used as index. Trying to assign a
* single element to an uninitialized string with an index which is
* not zero (0) shall cause an error.
*/
module NegSyn_06010101_AccessStringElements_002 {
type component GeneralComp {}
testcase TC_NegSyn_06010101_AccessStringElements_002() runs on GeneralComp {
var universal charstring v_b := "";
v_b[2] := "AB"; //error: incorrect index
}
control{
execute(TC_NegSyn_06010101_AccessStringElements_002());
}
}