Commit a863ec47 authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Edit help spellcheck updates

parent 6dcad14f
Loading
Loading
Loading
Loading
+9 −9
Original line number Diff line number Diff line
@@ -40,12 +40,12 @@ Package TP_MW_SI {
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives a MESSAGE containing
                        ContentLength indicating value greater than 1300 bytes;
                        ContentLength indicating value greater than 1_300 bytes;
                    from the IMS_I_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity forwards the MESSAGE containing
                        ContentLength indicating value greater than 1300 bytes;
                        ContentLength indicating value greater than 1_300 bytes;
                    to the IMS_IBCF_A entity
                }
            }  
@@ -117,7 +117,7 @@ Package TP_MW_SI {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstREGISTER
            the UE_A entity hasAchievedFirstREGISTER
        }
        
        Expected behaviour
@@ -241,7 +241,7 @@ Package TP_MW_SI {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstREGISTER
            the UE_A entity hasAchievedFirstREGISTER
        }
        
        Expected behaviour
@@ -2260,7 +2260,7 @@ Package TP_MW_SI {
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_A entity hasAchieveInitialINVITE and
            the IMS_P_CSCF_A entity hasAchievedInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
@@ -2306,7 +2306,7 @@ Package TP_MW_SI {
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_B entity hasAchieveInitialINVITE and
            the IMS_P_CSCF_B entity hasAchievedInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
@@ -2354,7 +2354,7 @@ Package TP_MW_SI {
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasAchieveInitialINVITE and
            the UE_A entity hasAchievedInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
@@ -2402,7 +2402,7 @@ Package TP_MW_SI {
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_B entity hasAchieveInitialINVITE and
            the UE_B entity hasAchievedInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }