Commit 70869cea authored by stancakapost's avatar stancakapost
Browse files

fixed TC_Neg and also verdict format

parent bdcaef4a

05_mapping_xml_schemas/0501_namespaces_and_document_references/050103_imports/Neg_050103_imports_001/Neg_050103_imports_001.ttcn_

+2 −2
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:5.1.3, Verify that it is not allowed to import imports from XSD schemas

 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass reject

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

// The following requirements are tested:

// It is not allowed to import XSD import statements to TTCN-3 (i.e. there is no transitive import
@@ -14,6 +14,6 @@ module Neg_050103_imports_001 { 


   template MyType m_msg := 1;



//#TC

//#TC_Neg



}

05_mapping_xml_schemas/05_top_level/Neg_05_top_level_001/Neg_05_top_level_001.ttcn_

+1 −1
Original line number Diff line number Diff line
@@ -14,6 +14,6 @@ module Neg_05_top_level_001 { 


   template MyType m_msg := 1;



//#TC

//#TC_Neg



}

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
@@ -9,5 +9,5 @@ module Neg_060101_length_001 { 
    import from schema_Neg_060101_length_001 language "XSD" all;



    template E1 m_msg := {"A","B","C","D"}; //length is 3

//#TC 

//#TC_Neg

}

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
@@ -8,5 +8,5 @@ module Neg_060110_maxexclusive_001 { 


    import from schema_Neg_060110_maxexclusive_001 language "XSD" all;



//#TC 

//#TC_Neg

}

06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_001/Neg_060502_date_and_time_001.ttcn_

+1 −1
Original line number Diff line number Diff line
@@ -9,5 +9,5 @@ module Neg_060502_date_and_time_001 { 
    import from schema_Neg_060502_date_and_time_001 language "XSD" all;



    template E1 m_msg := "2014-04-17T13:59"; //invalid value

//#TC 

//#TC_Neg

}