/***************************************************
 ** @author   STF 433
 ** @version  0.0.2
 ** @purpose  1:24.1, Ensure overwriting rules for local verdict: inconc can't overwrite fail.
 ** @verdict  pass accept, ttcn3verdict:fail
 *****************************************************************/
/*
 * #reqname  /Requirements/24 Test verdict operations/24.1 The Verdict mechanism/Overwriting rules for setverdict
 **/
/*
 * #reqname  /Requirements/24 Test verdict operations/24.2 The Setverdict operation/The value of the local verdict is changed with the setverdict operation.
 **/


module Sem_2401_LocalVerdict_012 {
	type component GeneralComp {}

    testcase TC_Sem_2401_LocalVerdict_012() runs on GeneralComp {
		setverdict(fail);
		setverdict(inconc);

		// The verdict is evaluated by the validation tool according to @verdict header
    }

    control{
        execute(TC_Sem_2401_LocalVerdict_012());
    }
}
