Newer
Older
/***************************************************
** @author STF 548
** @version 0.0.1
** @purpose 1:16.1.2, Verify that the dynamic_encoding parameter of the encvalue function can be explicitly skipped
** @verdict pass accept, noexecution
***************************************************/
// The following requirements are tested:
// The optional dynamic_encoding parameter is used for dynamic selection of encode
// attribute of the inpar value for this single encvalue call. The rules for dynamic
// selection of the encode attribute are described in clause 27.9.
module Sem_160102_predefined_functions_102 {
type component GeneralComp {
}
type integer I with { variant "32 bit"};
testcase TC_Sem_160102_predefined_functions_102 () runs on GeneralComp {
var template I v_test := 0;
var bitstring v_res := encvalue(v_test, "encoding_info_text", -);
if (lengthof(v_res) == 32) {
setverdict(pass,v_res);
} else {
setverdict(fail, "Invalid encoding length");
}
}
control{
execute(TC_Sem_160102_predefined_functions_102());
}
}