[S] Change in osmo-ttcn3-hacks[master]: ggsn: Early exit test if f_wait_icmp6() fails

[pespin]

pespin has uploaded this change for review. ( 
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/35225?usp=email )


Change subject: ggsn: Early exit test if f_wait_icmp6() fails
......................................................................

ggsn: Early exit test if f_wait_icmp6() fails

Change-Id: Ida6be6194f98de44dca804759c85016031cae61c
---
M ggsn_tests/GGSN_Tests.ttcn
1 file changed, 19 insertions(+), 4 deletions(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks 
refs/changes/25/35225/1

diff --git a/ggsn_tests/GGSN_Tests.ttcn b/ggsn_tests/GGSN_Tests.ttcn
index d6a0403..48cf725 100644
--- a/ggsn_tests/GGSN_Tests.ttcn
+++ b/ggsn_tests/GGSN_Tests.ttcn
@@ -1184,8 +1184,8 @@
                alt {
                        [] GTPU.receive(tr_GTPU_GPDU(g_peer_u, ?)) -> value ud {
                                if (f_verify_gtpu_txseq(ud.gtpu, 
use_gtpu_txseq) == false) {
-                                       setverdict(fail);
-                                       stop;
+                                       Misc_Helpers.f_shutdown(__BFILE__, 
__LINE__, fail,
+                                                               
log2str("Received GTPU with wrong txseq while waiting for ICMPv6: ", expected));
                                }
                                var octetstring gpdu := 
ud.gtpu.gtpu_IEs.g_PDU_IEs.data;
                                var IPv6_packet ip6 := f_IPv6_dec(gpdu);
@@ -1203,8 +1203,14 @@
                                }
                        }
                        [] GTPU.receive(tr_GTPU_GPDU(?, ?)) { repeat; }
-                       [] GTPU.receive { setverdict(fail); }
-                       [] T_default.timeout { setverdict(fail); }
+                       [] GTPU.receive  {
+                               Misc_Helpers.f_shutdown(__BFILE__, __LINE__, 
fail,
+                                                       log2str("Received 
unexpected GTPU while waiting for ICMPv6: ", expected));
+                       }
+                       [] T_default.timeout {
+                               Misc_Helpers.f_shutdown(__BFILE__, __LINE__, 
fail,
+                                                       log2str("Timeout 
waiting for ICMPv6: ", expected));
+                       }
                }
                T_default.stop;
        }

--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/35225?usp=email
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: Ida6be6194f98de44dca804759c85016031cae61c
Gerrit-Change-Number: 35225
Gerrit-PatchSet: 1
Gerrit-Owner: pespin <pes...@sysmocom.de>
Gerrit-MessageType: newchange