Newer
Older
/*****************************************************************
** @author STF 487
** @version 0.0.1
** @purpose 1:7.1.1, Ensure that arithmetic operators can handle special float values
** @verdict pass accept, ttcn3verdict:pass
*****************************************************************/
module Sem_070101_ArithmeticOperators_028 {
type component GeneralComp {
}
testcase TC_Sem_070101_ArithmeticOperators_028() runs on GeneralComp {
var float v_i := infinity;
var float v_k :=2.0E0;
var float v_result := v_i - v_k; // "-" arithmetic operator with infinity
if (v_result == infinity) { setverdict(pass,"match") }
else { setverdict(fail,v_result) }
}
control{
execute(TC_Sem_070101_ArithmeticOperators_028());
}
}