Commit 2aadd83d authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent 410eb6ea
Loading
Loading
Loading
Loading
+3 −3
Original line number Diff line number Diff line
@@ -5,12 +5,12 @@
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070103_RelationalOperator_001 {
module Sem_070103_RelationalOperators_001 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070103_RelationalOperator_001() runs on GeneralComp {
testcase TC_Sem_070103_RelationalOperators_001() runs on GeneralComp {
	if (2 == 2) {
		setverdict(pass);
	} else {
@@ -19,7 +19,7 @@ testcase TC_Sem_070103_RelationalOperator_001() runs on GeneralComp {
}

control{
    execute(TC_Sem_070103_RelationalOperator_001());
    execute(TC_Sem_070103_RelationalOperators_001());
}

}
+3 −3
Original line number Diff line number Diff line
@@ -5,12 +5,12 @@
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070103_RelationalOperator_002 {
module Sem_070103_RelationalOperators_002 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070103_RelationalOperator_002() runs on GeneralComp {
testcase TC_Sem_070103_RelationalOperators_002() runs on GeneralComp {
	if (2.0 == 2.0) {
		setverdict(pass);
	} else {
@@ -19,7 +19,7 @@ testcase TC_Sem_070103_RelationalOperator_002() runs on GeneralComp {
}

control{
    execute(TC_Sem_070103_RelationalOperator_002());
    execute(TC_Sem_070103_RelationalOperators_002());
}

}
+3 −3
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070103_RelationalOperator_003 {
module Sem_070103_RelationalOperators_003 {

type component GeneralComp {	    	    
}
@@ -14,7 +14,7 @@ type enumerated MyEnumType {
	e_monday, e_tuesday, e_wednesday, e_thursday, e_friday
};

testcase TC_Sem_070103_RelationalOperator_003() runs on GeneralComp {
testcase TC_Sem_070103_RelationalOperators_003() runs on GeneralComp {
	var MyEnumType v_first := e_monday;
	var MyEnumType v_reference := e_monday;

@@ -26,7 +26,7 @@ testcase TC_Sem_070103_RelationalOperator_003() runs on GeneralComp {
}

control{
    execute(TC_Sem_070103_RelationalOperator_003());
    execute(TC_Sem_070103_RelationalOperators_003());
}

}
+3 −3
Original line number Diff line number Diff line
@@ -5,12 +5,12 @@
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070103_RelationalOperator_004 {
module Sem_070103_RelationalOperators_004 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070103_RelationalOperator_004() runs on GeneralComp {
testcase TC_Sem_070103_RelationalOperators_004() runs on GeneralComp {
	if (2 < 3) {
		setverdict(pass);
	} else {
@@ -19,7 +19,7 @@ testcase TC_Sem_070103_RelationalOperator_004() runs on GeneralComp {
}

control{
    execute(TC_Sem_070103_RelationalOperator_004());
    execute(TC_Sem_070103_RelationalOperators_004());
}

}
+3 −3
Original line number Diff line number Diff line
@@ -5,12 +5,12 @@
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070103_RelationalOperator_005 {
module Sem_070103_RelationalOperators_005 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070103_RelationalOperator_005() runs on GeneralComp {
testcase TC_Sem_070103_RelationalOperators_005() runs on GeneralComp {
	if (2.3 < 2.452) {
		setverdict(pass);
	} else {
@@ -19,7 +19,7 @@ testcase TC_Sem_070103_RelationalOperator_005() runs on GeneralComp {
}

control{
    execute(TC_Sem_070103_RelationalOperator_005());
    execute(TC_Sem_070103_RelationalOperators_005());
}

}
Loading