Commit 0fd5beea authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Typo and Initial condition added

parent 030aed6e
Loading
Loading
Loading
Loading
+6 −4
Original line number Diff line number Diff line
@@ -451,6 +451,7 @@ Package TP_AMF {
        
            Initial conditions with {
                the GNB entity hasEstablished_NG_C_AssociationToAMF and
                the IUT entity hasActiveUeNgapContext and
                the UE entity isNotRegisteredToAMF
            }
        
@@ -523,6 +524,7 @@ Package TP_AMF {
        
            Initial conditions with {
                the UE entity isRegisteredToAMF and
                the IUT entity hasActiveUeNgapContext and
                the UE entity hasEstablishedInitialContext
            }
        
@@ -562,8 +564,8 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/2_3
        
            Initial conditions with {
                the UE entity isRegisteredToAMF //and
                //the UE entity hasEstablishedInitialContext
                the UE entity isRegisteredToAMF and
                the UE entity hasEstablishedInitialContext
            }
        
            Expected behaviour
@@ -759,7 +761,7 @@ Package TP_AMF {
                    then {
                        the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                            AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                            RAN_UE_NGAP_ID set to PX_RAN_NODE_NAME,
                            RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                            NAS_PDU containing
                                Message_identity set to AUTHENTICATION_REQUEST;;   
                        to the GNB entity