/***************************************************
 ** @author   STF 433 (updated by STF 521)
 ** @version  0.0.2
 ** @purpose  1:24, Ensure setverdict accepts values of verdicttype only
 ** @verdict  pass reject
 ***************************************************/
/*
 * #reqname  /Requirements/24 Test verdict operations/24.2 The Setverdict operation/Setverdict allowed verdict values
 **/

module NegSem_2402_setverdict_params_003 {
    type component TComp {}

    testcase TC_NegSem_2402_setverdict_params_003() runs on TComp {
        var template verdicttype v_pass := ( pass, fail );
        setverdict(v_pass);
    }

    control {
        execute(TC_NegSem_2402_setverdict_params_003())
    }
}