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_012 {
import from NegSem_050202_Uniqueness_012_import { const all; }
type component GeneralComp {
}
function f_funcScope() {
var boolean NegSem_050202_Uniqueness_012_import := true;
}
testcase TC_NegSem_050202_Uniqueness_012() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_012());
}
}
module NegSem_050202_Uniqueness_012_import {
const integer c_integer := 0;
}