Commit 2555d6df authored by tepelmann's avatar tepelmann
Browse files

Added false case in f_utChangePseudonym.

parent 3c0a4be5

ttcn/DENM/LibItsDenm_Functions.ttcn

+5 −0
Original line number Diff line number Diff line
@@ -63,6 +63,11 @@ module LibItsDenm_Functions { 
                    tc_wait.stop;

                    log("*** " & testcasename() & ": INFO: IUT pseudonym changed ***");

                }

                [] utPort.receive(UtChangePseudonymResult:false) {

                    tc_wait.stop;

                    log("*** " & testcasename() & ": INFO: IUT pseudonym changed ***");

                    f_selfOrClientSyncAndVerdict("error", e_error);

                }

                [] tc_wait.timeout {

                    log("*** " & testcasename() & ": INFO: Could not receive expected UT message from IUT in time ***");

                    f_selfOrClientSyncAndVerdict("error", e_timeout);