Commit 430117a6 authored by kretzschmann's avatar kretzschmann
Browse files

fix wrong naming in initial condition

parent 7c94d762
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -290,7 +290,7 @@ module NGAP_Steps {
        /**
         * @desc
         */
        function f_NGAP_amf_UE_Has_Suspended_Context() runs on NGAPComponent {
        function f_NGAP_gnb_UE_Has_Suspended_Context() runs on NGAPComponent {
        //FIXME: Implementation of UE has suspended context
        } // End of function f_NGAP_amf_UE_hasSuspendedContext

+2 −2
Original line number Diff line number Diff line
@@ -4825,7 +4825,7 @@ module NGAP_TCFunctions {
                   // Preamble
                   f_NGAP_gnb_init();
                   f_NGAP_gnb_UE_Register();
                   f_NGAP_amf_UE_Has_Suspended_Context();
                   f_NGAP_gnb_UE_Has_Suspended_Context();

                   f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
                   log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
@@ -4869,7 +4869,7 @@ module NGAP_TCFunctions {
                   // Preamble
                   f_NGAP_gnb_init();
                   f_NGAP_gnb_UE_Register();
                   f_NGAP_amf_UE_Has_Suspended_Context();
                   f_NGAP_gnb_UE_Has_Suspended_Context();

                   f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
                   log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");