Commit 688b5968 authored by stancakapost's avatar stancakapost
Browse files

changed variable to initialize variant with a partially initialized 

record, otherwise, the union value would remain uninitialized since none
of its fields are at least partially initialized
parent fd1b915d

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

+1 −1
Original line number Original line 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 {

    testcase TC_Sem_190301_select_union_statement_006() runs on GeneralComp {

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

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

        select union (v_un) {

        select union (v_un) {

            case (intOption) {

            case (intOption) {

                setverdict(fail);

                setverdict(fail);