Commit 31903674 authored by urbant's avatar urbant
Browse files

Progress file update 

Minor corrections in recently added test cases
parent 3ee039e0

ATS/06_types_and_values/0602_structured_types_and_values/060205_unions/06020501_referencing_fields_of_union_type/Sem_06020501_referencing_fields_of_union_type_001.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

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

 

module Sem_001_init_union {

module Sem_06020501_referencing_fields_of_union_type_001 {

	type union MyUnionType 

	{	

		integer 		number,
@@ -16,7 +16,7 @@ module Sem_001_init_union { 
	};



	

	testcase tc_Sem_001_init_union () runs on GeneralComp {

	testcase TC_Sem_06020501_referencing_fields_of_union_type_001 () runs on GeneralComp {

		var MyUnionType v_mut ;

		v_mut.number := 0;
@@ -29,6 +29,6 @@ module Sem_001_init_union { 
	}

 

	control {

		execute(tc_Sem_001_init_union());

		execute(TC_Sem_06020501_referencing_fields_of_union_type_001());

	}

}

ATS/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_004.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -23,7 +23,7 @@ module NegSem_190301_select_union_statement_004 { 
    }



    testcase TC_NegSem_190301_select_union_statement_004() runs on GeneralComp {

        var U v_un := { recOption := - }

        var U v_un := { recOption := { field1 := 1, field2 := 2 } }

        select union (v_un) {

            case (intOption) {

                setverdict(pass);

ATS/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_006.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -24,7 +24,7 @@ module Sem_190301_select_union_statement_006 { 
    }



    testcase TC_Sem_190301_select_union_statement_006() runs on GeneralComp {

        var U v_un := { recOption := - }

        var U v_un := { recOption := { field1 := 3 } }

        select union (v_un) {

            case (intOption) {

                setverdict(fail);

ATS/PROGRESS_FILE.txt

+5 −2
Original line number Diff line number Diff line
@@ -11,8 +11,11 @@ The exact description of required updates is in /trunk/standards/4.7.1/part-1-ch 
6.1.2.6.2 Using length restriction with other constraints            ()

6.2.1.1 Referencing fields of a record type                          (Tomas, done: 16 new tests, 13 positive, 3 negative)

6.2.3 Records and sets of single types                               (Tomas, done: 24 new tests, 16 positive, 8 negative)

6.2.5.1 Referencing fields of a union type                           (Tomas, WIP)

6.2.7 Arrays                                                         (Tomas, WIP)

6.2.5 Unions                                                         (Tomas, done: 9 new tests, 3 positive, 6 negative)

6.2.5.1 Referencing fields of a union type                           (Tomas, done: 13 new tests, 5 positive, 8 negative)

6.2.5.1 Option and union                                             (Tomas, done: 1 new test, 0 positive, 1 negative)

6.2.5.1 Nested type definition for field types                       (Tomas, done: 1 new test, 1 positive, 0 negative)

6.2.7 Arrays                                                         (Tomas, done: 36 new tests, 17 positive, 19 negative)

6.2.9 Communication port type                                        ()

6.2.10.2 Reuse of component types                                    ()

6.2.12 Addressing entities inside the SUT                            ()