Loading 06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.ttcn_ +1 −1 Original line number Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.1, Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. ** @verdict fail reject ** @verdict pass reject ***************************************************/ module Neg_060101_length_001 { Loading 06_built_in_data_types/0601_mapping_of_facets/060110_maxexclusive/Neg_060110_maxexclusive_001/Neg_060110_maxexclusive_001.ttcn_ +1 −1 Original line number Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.10, Verify that INF (negative infinity) or NaN (not-a-number), this type shall not be translated to TTCN-3 ** @verdict fail reject ** @verdict pass reject ***************************************************/ module Neg_060110_maxexclusive_001 { Loading Loading
06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.ttcn_ +1 −1 Original line number Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.1, Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. ** @verdict fail reject ** @verdict pass reject ***************************************************/ module Neg_060101_length_001 { Loading
06_built_in_data_types/0601_mapping_of_facets/060110_maxexclusive/Neg_060110_maxexclusive_001/Neg_060110_maxexclusive_001.ttcn_ +1 −1 Original line number Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.10, Verify that INF (negative infinity) or NaN (not-a-number), this type shall not be translated to TTCN-3 ** @verdict fail reject ** @verdict pass reject ***************************************************/ module Neg_060110_maxexclusive_001 { Loading