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_037 {
type component GeneralComp {
}
testcase TC_Sem_070101_ArithmeticOperators_037() runs on GeneralComp {
var float v_i := not_a_number;
var float v_k :=2.0E0;
var float v_result := v_i * v_k; // "*" arithmetic operator with NaN
if (v_result == not_a_number) { setverdict(pass,"match") }
else { setverdict(fail,v_result) }
}
control{
execute(TC_Sem_070101_ArithmeticOperators_037());
}
}