Commit 1da77f8c authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent cf6e4d79
Loading
Loading
Loading
Loading
+30 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.1, Ensure that the addition operator works 
 **           on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_019 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_019() runs on GeneralComp {
	var float v_i := 10.2;
	var float v_j := 0.4;
	var float v_result := v_i + v_j;
	
	if (v_result == 10.6) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_019());
}

}
+30 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.1, Ensure that the addition operator works 
 **           on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_020 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_020() runs on GeneralComp {
	var float v_i := 10.2;
	var float v_j := 0.4;
	var float v_result := v_i + v_j;
	
	if (v_result == 10.6) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_020());
}

}
+30 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.1, Ensure that the substraction operator works 
 **           on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_021 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_021() runs on GeneralComp {
	var float v_i := 10.2;
	var float v_j := 0.4;
	var float v_result := v_i - v_j;
	
	if (v_result == 9.8) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_021());
}

}
+30 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.1, Ensure that the multiplication operator works 
 **           on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_022 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_022() runs on GeneralComp {
	var float v_i := 10.2;
	var float v_j := 0.4;
	var float v_result := v_i * v_j;
	
	if (v_result == 4.08) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_022());
}

}
+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 operator works 
 **           on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_023 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_023() runs on GeneralComp {
	var float v_i := 10.2;
	var float v_j := 0.4;
	var float v_result := v_i / v_j;
	
	if (v_result == 25.5) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_023());
}

}
Loading