Commit 68420fef authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent fd683f2d
Loading
Loading
Loading
Loading
+4 −4
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev$
 ** @purpose  1:7.1.1, Ensure that the addition operator works on float variables.
 ** @purpose  1:7.1.1, Ensure that the substraction operator works on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/
// TODO duplicate of Sem_070101_ArithmeticOperators_019

module Sem_070101_ArithmeticOperators_020 {

type component GeneralComp {	    	    
@@ -13,9 +13,9 @@ 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;
	var float v_result := v_i - v_j;
	
	if (v_result == 10.6) {
	if (v_result == 9.8) {
		setverdict(pass);
	} else {
		setverdict(fail);
+3 −3
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev$
 ** @purpose  1:7.1.1, Ensure that the substraction operator works on float variables.
 ** @purpose  1:7.1.1, Ensure that the multiplication operator works on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

@@ -13,9 +13,9 @@ 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;
	var float v_result := v_i * v_j;
	
	if (v_result == 9.8) {
	if (v_result == 4.08) {
		setverdict(pass);
	} else {
		setverdict(fail);
+3 −3
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev$
 ** @purpose  1:7.1.1, Ensure that the multiplication operator works on float variables.
 ** @purpose  1:7.1.1, Ensure that the division operator works on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

@@ -13,9 +13,9 @@ 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;
	var float v_result := v_i / v_j;
	
	if (v_result == 4.08) {
	if (v_result == 25.5) {
		setverdict(pass);
	} else {
		setverdict(fail);
+3 −4
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev$
 ** @purpose  1:7.1.1, Ensure that the division operator works on float variables.
 ** @purpose  1:7.1.1, Ensure that the combination of different operators works on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

@@ -12,10 +12,9 @@ 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;
	var float v_result := (((v_i * 2.3) / 0.4)+0.45)-0.1;
	
	if (v_result == 25.5) {
	if (v_result == 59.0) {
		setverdict(pass);
	} else {
		setverdict(fail);
+0 −28
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev$
 ** @purpose  1:7.1.1, Ensure that the combination of different operators works on float variables.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070101_ArithmeticOperators_024 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070101_ArithmeticOperators_024() runs on GeneralComp {
	var float v_i := 10.2;
	var float v_result := (((v_i * 2.3) / 0.4)+0.45)-0.1;
	
	if (v_result == 59.0) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}			

control{
    execute(TC_Sem_070101_ArithmeticOperators_024());
}

}