/***************************************************
 ** @author   STF 433
 ** @version  0.0.1
 ** @purpose  1:24.3, Ensure getverdict none for uninitialized verdict
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
/*
 * #reqname  /Requirements/24 Test verdict operations/24.3  The Getverdict operation/Getverdict returns local verdict value/Getverdict returns none for uninitialized verdict
 **/

module Sem_2403_getverdict_005 {
    type component TComp {}

    testcase TC_Sem_2403_getverdict_005() runs on TComp {
        var verdicttype v_verdict;
        v_verdict := getverdict;
        if (v_verdict != none)
        {
        	// Set error verdict
            testcase.stop;
        }
        else
        {
            setverdict(pass);
        }
    }

    control {
        execute(TC_Sem_2403_getverdict_005())
    }
}