/*****************************************************************
 ** @author   STF 487
 ** @version  0.0.1
 ** @purpose  1:7.1.3, Ensure that the equal to operator on address with value null is evaulated correctly
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_051 {

type component GeneralComp {
}

type integer address;

testcase TC_Sem_070101_ArithmeticOperators_051() runs on GeneralComp {

    var address My_address := null;


	if (My_address == null)
    {
		setverdict(pass, My_address);
	} else {
		setverdict(fail,My_address);
	}
}

control{
    execute(TC_Sem_070101_ArithmeticOperators_051());
}

}
