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_005 {
const integer c_int := 0;
type component GeneralComp {
}
function f_funcScope() {
const integer c_int := 0;
}
testcase TC_NegSem_050202_Uniqueness_005() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_005());
}
}