/*****************************************************************
 ** @author   STF 572
 ** @version  0.0.1
 ** @purpose  1:7.1.3, Ensure that the less than or equal to operator on timers is evaluated correctly with differing values.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/
// The following requirements are tested:
/*
 * Two default, two port, two timer or two component values are equal if and only if they both are initialized with
 * the special value null or they both contain a reference to the same entity value (i.e. they designate the same
 * default, port, timer or test component, independent of the actual state of the denoted object).
 * */

module Sem_070103_RelationalOperators_053 {

type component GeneralComp {
}

testcase TC_Sem_070103_RelationalOperators_053() runs on GeneralComp {
    timer t_ref := 10.0;
	var timer t1 := t_ref;
	var timer t2 := t_ref;

	if ( t1 == t2 ) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}

control{
    execute(TC_Sem_070103_RelationalOperators_053());
}

}
