Commit bf388678 authored by kretzschmann's avatar kretzschmann
Browse files

fix copy-paste error in trigger for GNB and AMF

parent f9750bd2
Loading
Loading
Loading
Loading
+1 −1
Original line number Original line Diff line number Diff line
@@ -1257,7 +1257,7 @@ Package TP_AMF {
	        Expected behaviour
	        Expected behaviour
	            ensure that {
	            ensure that {
	                when {
	                when {
	                    the IUT entity sends an INITIAL_UE_MESSAGE containing
	                    the IUT entity receives an INITIAL_UE_MESSAGE containing
	                        RAN_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        NAS_PDU,
	                        NAS_PDU,
	                        User_Location_Information,
	                        User_Location_Information,
+1 −1
Original line number Original line Diff line number Diff line
@@ -3118,7 +3118,7 @@ Package TP_GNB {
        Expected behaviour
        Expected behaviour
            ensure that {
            ensure that {
                when {
                when {
                    the IUT entity sends a UE_RADIO_CAPABILITY_CHECK_REQUEST containing 	
                    the IUT entity receives a UE_RADIO_CAPABILITY_CHECK_REQUEST containing 	
                        AMF_UE_NGAP_ID,
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID;
                        RAN_UE_NGAP_ID;
                    from the AMF entity
                    from the AMF entity