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_011 {
type component GeneralComp {
}
function f_funcScope() {
var boolean NegSem_050202_Uniqueness_011 := true;
}
testcase TC_NegSem_050202_Uniqueness_011() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_011());
}
}