Commit fdeaddb2 authored by berge's avatar berge
Browse files

Allow unexpected denm (2)

parent 1c743914

ttcn/DENM/LibItsDenm_Functions.ttcn

+1 −1
Original line number Original line Diff line number Diff line
@@ -60,7 +60,7 @@ module LibItsDenm_Functions { 
         * @desc The base default.

         * @desc The base default.

         */

         */

        altstep a_default() runs on ItsFa {

        altstep a_default() runs on ItsFa {

        	[] camPort.receive(mw_denmInd(mw_denmPdu(mw_anyDenm))) { 

        	[] denmPort.receive(mw_denmInd(mw_denmPdu(mw_anyDenm))) { 

                log("*** a_default: INFO: DENM message received in default ***");

                log("*** a_default: INFO: DENM message received in default ***");

                vc_denmReceived := true;

                vc_denmReceived := true;

                repeat;

                repeat;