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_032 {
type component GeneralComp {
}
testcase TC_Sem_070101_ArithmeticOperators_032() 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_032());
}
}