/***************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:16.1, Ensure that the IUT correctly handles function definitions
 ** @verdict  pass reject
 ***************************************************/
module NegSem_1601_toplevel_002 {

type component GeneralComp {
}

function f_test ( template octetstring p_ostring ) return octetstring {
    return p_ostring; // mismatch between return type and template argument
}

testcase TC_NegSem_1601_toplevel_002 () runs on GeneralComp {
    if( match('FFFFFF'O, f_test('FF??'O)) ) {
        setverdict(pass);
    } else {
        setverdict(fail);
    }
}

control{
    execute(TC_NegSem_1601_toplevel_002());
}

}
