/***************************************************
 ** @author   STF 433
 ** @version  0.0.1
 ** @purpose  1:24, Ensure getverdict is not allowed in parameter initialization in control part.
 ** @verdict  pass reject
 ***************************************************/
/*
 * #reqname  /Requirements/24 Test verdict operations/Getverdict and setverdict operations shall only be used in test cases, altsteps and functions.
 **/

module NegSem_24_toplevel_002 {
	type component GeneralComp {}

	testcase TC_NegSem_24_toplevel_002(verdicttype v_param) runs on GeneralComp {
		setverdict(fail);
	}

	control {
		// BNF allows getverdict in expression -- this is a semantic test
		execute(TC_NegSem_24_toplevel_002(getverdict));
	}
}