Commit 1f4f3ba5 authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

TP_5GNAS_AMF_REG_REJ_01 objective update

parent 426b8519
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -157,7 +157,7 @@ Package TP_AMF {
        Expected behaviour
            ensure that {
                when {
	               the IUT entity receives an INITIAL_UE_MESSAGE /*or a UPLINK_NAS_TRANSPORT!!!*/ containing
	               the IUT entity receives an INITIAL_UE_MESSAGE containing
	                   NAS_PDU containing
	                       Registration_request_message_identity indicating value REGISTRATION_REQUEST,
	                       5GS_registration_type containing