/***************************************************
 ** @author   STF 572
 ** @version  0.0.1
 ** @purpose  1:8.2.1, verify that module parameters cannot be used as actual parameters of inout formal parameters
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// Restriction a)
// During test execution module parameters shall not be used as target of assignments or as actual out or inout parameters.

module NegSem_080201_ModuleParameters_008 {
    modulepar integer PX_INT;

    function f_test(inout integer p_par) {
	    p_par := 1;
	}

    type component GeneralComp {
	}

	testcase TC_NegSem_080201_ModuleParameters_008() runs on GeneralComp {
		f_test(PX_INT);
	    setverdict(pass);
	}

    control {
         execute(TC_NegSem_080201_ModuleParameters_008());
    }
}
