Commit 6c8a538a authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent 6a8801cd
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -3,7 +3,7 @@
 ** @version  $Rev$
 ** @purpose  1:7.1.1, Ensure that the multiplication of multiple 
 **           integer variables is evaluated correctly.
 ** @verdict  pass accept
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_004 {
+30 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.1, Ensure that the division of two 
 **           integer variables is evaluated correctly.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_005 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_005() runs on GeneralComp {
	var integer v_i := 10;
	var integer v_j := 2;
	var integer v_result := v_i / v_j;
	
	if (v_result == 5) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_005());
}

}
+31 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.1, Ensure that the division of multiple 
 **           integer variables is evaluated correctly.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_006 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_006() runs on GeneralComp {
	var integer v_i := 100;
	var integer v_j := 4;
	var integer v_k := 5;
	var integer v_result := v_i / v_j / v_k;
	
	if (v_result == 5) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_006());
}

}
+30 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.1, Ensure that the application of the modulo 
 **           operator on integer variables is evaluated correctly
 **           when the remainder is zero.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_007 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_007() runs on GeneralComp {
	var integer v_i := 4;
	var integer v_result := v_i mod 2;
	
	if (v_result == 0) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_007());
}

}
+30 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.1, Ensure that the application of the modulo 
 **           operator on integer variables is evaluated correctly
 **           when the integer value is smaller than the modulo value.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_008 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_008() runs on GeneralComp {
	var integer v_i := 8;
	var integer v_result := v_i mod 10;
	
	if (v_result == 8) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_008());
}

}
Loading