/*****************************************************************
 ** @author   STF 487
 ** @version  0.0.1
 ** @purpose  1:7.1.3, Ensure that the eqaul to operator on address is evaluated correctly with equal values.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/
/*The address type is allowed for the equality (==) and non-equality (!=) operators,
independent of its actual type, but when its actual type differs from the types specified above, it can be compared to the literal special value null only.
*/

module Sem_070103_RelationalOperators_035 {

type component GeneralComp {
}

type integer address;

testcase TC_Sem_070103_RelationalOperators_035() 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_070103_RelationalOperators_035());
}

}
