Commit 49accb4b authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

tplan2 syntax error resolution

parent ad2c1a0c
Loading
Loading
Loading
Loading
+2 −1
Original line number Diff line number Diff line
@@ -452,6 +452,7 @@ Package TP_AMF {
                Expected behaviour
                ensure that {
                    when {
                        (.) at time point start_SMC_event : event SECURITY_MODE_COMMAND occurs and
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
@@ -1308,7 +1309,7 @@ Package TP_AMF {
                                AMF_Region_ID set to PX_AMF_REGION_ID,
                                AMF_Set_ID set to PX_AMF_SET_ID,
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI;;
                                5G_TMSI set to RV_5G_TMSI;;;
                    to the GNB entity       
                }
            }