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; }