Newer
Older
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_007 {
type component GeneralComp {
const integer repeatedIdentifier := 0;
}
function f_funcScope() runs on GeneralComp {
var boolean repeatedIdentifier := true;
}
testcase TC_NegSem_050202_Uniqueness_007() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_007());
}
}