Commit 592c53bd authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Syntactical resolution

parent 99a8054c
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -107,7 +107,7 @@ Package TP_AMF {
        
        Initial conditions with {
            the UE entity isInCM_CONNECTED and 
            the IUT entity hasActiveUeNgapContext 
            the IUT entity hasActiveUeNgapContext and
            the IUT entity hasSentPDU_SESSION_RESOURCE_SETUP_REQUEST
        }
        
@@ -231,7 +231,7 @@ Package TP_AMF {
        
        Initial conditions with {
            the UE entity isInCM_CONNECTED and 
            the IUT entity hasActiveUeNgapContext 
            the IUT entity hasActiveUeNgapContext and
            the IUT entity hasSentPDU_SESSION_RESOURCE_RELEASE_COMMAND
        }