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_042 {
type component GeneralComp {
}
testcase TC_Sem_070101_ArithmeticOperators_042() runs on GeneralComp {
var float v_i := not_a_number;
var float v_k :=not_a_number;
var float v_result := v_k / v_i; // NaN special float as nominator and denominator
if (v_result == not_a_number) { setverdict(pass,"match") }
else { setverdict(fail,v_result) }
}
control{
execute(TC_Sem_070101_ArithmeticOperators_042());
}
}