/***************************************************
 ** @author   STF 433
 ** @version  0.0.1
 ** @purpose  1:24, Ensure logging constraints
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
/*
 * #reqname  /Requirements/24 Test verdict operations/24.2 The Setverdict operation/For FreeText and TemplateInstance, the same rules and restrictions apply as for the parameters of the log statement.
 **/

module Sem_2402_setverdict_logging_001 {
    type component TComp {}

    testcase TC_Sem_2402_setverdict_logging_001() runs on TComp {
        var integer v_uninitialized ;
        setverdict(pass, "Uninitialized variable", v_uninitialized);
    }

    control {
        execute(TC_Sem_2402_setverdict_logging_001())
    }
}