Commit 3c0a4be5 authored by tepelmann's avatar tepelmann
Browse files

Fixed sync functions.

Fixed selector for matching.
Harmonized handling of unknown UT messages, e.g. UtGnEventIndications.
parent 7add8f37
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -144,7 +144,7 @@
                repeat;
            }
            [] utPort.receive {
                log("*** " & testcasename() & ": INFO: Received unexpected UT message from IUT ***");
                log("*** " & testcasename() & ": INFO: Received unhandled/unknown UT message from IUT ***");
                repeat;
            }
        }
+2 −3
Original line number Diff line number Diff line
@@ -167,9 +167,8 @@ module LibItsCam_Functions {
                repeat;
            }
            [] utPort.receive {
                tc_wait.stop;
                log("*** " & testcasename() & ": INFO: Received unexpected UT message from IUT ***");
                f_selfOrClientSyncAndVerdict("error", e_error);
                log("*** " & testcasename() & ": INFO: Received unhandled/unknown UT message from IUT ***");
                repeat;
            }
        }
         
+2 −0
Original line number Diff line number Diff line
@@ -117,6 +117,8 @@ module LibItsCam_TypesAndValues {
         */
        type record UtCamEventInd {
            CAM camMsg
        } with {
            encode (camMsg) "LibItsCam_asn1"
        }
        
        /**
+2 −3
Original line number Diff line number Diff line
@@ -251,9 +251,8 @@ module LibItsDenm_Functions {
                repeat;
            }
            [] utPort.receive {
                tc_wait.stop;
                log("*** " & testcasename() & ": INFO: Received unexpected UT message from IUT ***");
                f_selfOrClientSyncAndVerdict("error", e_error);
                log("*** " & testcasename() & ": INFO: Received unhandled/unknown UT message from IUT ***");
                repeat;
            }
        }
        
+2 −3
Original line number Diff line number Diff line
@@ -142,9 +142,8 @@ module LibItsMapSpat_Functions {
                repeat;
            }
            [] utPort.receive {
                tc_wait.stop;
                log("*** " & testcasename() & ": INFO: Received unexpected UT message from IUT ***");
                f_selfOrClientSyncAndVerdict("error", e_error);
                log("*** " & testcasename() & ": INFO: Received unhandled/unknown UT message from IUT ***");
                repeat;
            }
        }