/***************************************************************** ** @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_034 { type component GeneralComp { } testcase TC_Sem_070101_ArithmeticOperators_034() 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_034()); } }