Commit 0568e670 authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Errors resolved

parent d8a50e15
Loading
Loading
Loading
Loading
+5 −3
Original line number Diff line number Diff line
@@ -878,7 +878,7 @@ Package TP_AMF {
                                    SD set to PX_SD_1;,
                                S_NSSAI_2 containing
                                    SST set to PX_SST_2,
                                    SD set to PX_SD_2;;;
                                    SD set to PX_SD_2;;;;
                    from the GNB entity
                }
                then {
@@ -946,7 +946,7 @@ Package TP_AMF {
                                    SD set to PX_SD_1;,
                                S_NSSAI_2 containing
                                    SST set to PX_SST_Rejected,
                                    SD set to PX_SD_Rejected;;;
                                    SD set to PX_SD_Rejected;;;;
                    from the GNB entity
                }
                then {
@@ -1294,6 +1294,7 @@ Package TP_AMF {
                    the IUT entity indicateUEderegistration
                }
                then {
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containingTP_5GNAS_AMF_DRG_REQ_03
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
@@ -1310,6 +1311,7 @@ Package TP_AMF {
                                AMF_Set_ID indicating value PX_AMF_SET_ID,
                                AMF_Pointer indicating value PX_AMF_POINTER,
                                5G_TMSI indicating value RV_5G_TMSI;;;
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_REQ_03