Commit 0ed1c2a8 authored by stancakapost's avatar stancakapost
Browse files

purpose format fix

parent 8d48f425

06_built_in_data_types/0604_float_types/060401_decimal/Pos_060401_decimal_001/Pos_060401_decimal_001.ttcn_

+1 −1
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.4.1 Verify that decimal type shall be translated to TTCN-3 as a plain float

 ** @purpose  9:6.4.1, Verify that decimal type shall be translated to TTCN-3 as a plain float

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Pos_060401_decimal_001 {

06_built_in_data_types/0604_float_types/060403_double/Pos_060403_double_001/Pos_060403_double_001.ttcn_

+1 −1
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.4.3 Verify that double type shall be translated to TTCN-3 as an IEEE754double as defined in clause D.2.1.4 of ES 201 873 1 [1]:

 ** @purpose  9:6.4.3, Verify that double type shall be translated to TTCN-3 as an IEEE754double as defined in clause D.2.1.4 of ES 201 873 1 [1]:

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Pos_060403_double_001 {