Commit d1b67906 authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent 1c1f191d
Loading
Loading
Loading
Loading
+26 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.3, Ensure that the not equals operator on integers 
 **           is evaluated correctly.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070103_RelationalOperator_022 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070103_RelationalOperator_022() runs on GeneralComp {
	if (2 != 3) {
		setverdict(pass);
	} else {
		setverdict(false);
	}
}

control{
    execute(TC_Sem_070103_RelationalOperator_022());
}

}
+26 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.3, Ensure that the not equals operator on floats 
 **           is evaluated correctly.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070103_RelationalOperator_023 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070103_RelationalOperator_023() runs on GeneralComp {
	if (2.12 != 2.3) {
		setverdict(pass);
	} else {
		setverdict(false);
	}
}

control{
    execute(TC_Sem_070103_RelationalOperator_023());
}

}
+33 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.3, Ensure that the not equals operator on enumerations 
 **           is evaluated correctly.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070103_RelationalOperator_024 {

type component GeneralComp {	    	    
}

type enumerated MyEnumType { 
	Monday, Tuesday, Wednesday, Thursday, Friday
};

testcase TC_Sem_070103_RelationalOperator_024() runs on GeneralComp {
	var MyEnumType v_first := Monday;
	var MyEnumType v_reference := Tuesday;

	if (v_first != v_reference) {
		setverdict(pass);
	} else {
		setverdict(false);
	}
}

control{
    execute(TC_Sem_070103_RelationalOperator_024());
}

}
+2 −2
Original line number Diff line number Diff line
@@ -6,10 +6,10 @@ done:
==
<
<=

todo:
>
>=
!=

todo:

...
 No newline at end of file