/***************************************************
 ** @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());
    }

}