ttcn3
/
osmo-ttcn3-hacks
mirror of https://gerrit.osmocom.org/osmo-ttcn3-hacks
10
0
Fork 1
Code Issues Releases Wiki Activity

ggsn: Early exit test if f_wait_icmp6() fails 

Change-Id: Ida6be6194f98de44dca804759c85016031cae61c
This commit is contained in:
Pau Espin 2023-12-05 14:24:49 +01:00 committed by laforge
parent 09ed994961
commit 9c1c2ae6b6
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
ggsn_tests/GGSN_Tests.ttcn
View File

@ -1184,8 +1184,8 @@ module GGSN_Tests {
alt { alt {
[] GTPU.receive(tr_GTPU_GPDU(g_peer_u, ?)) -> value ud { [] GTPU.receive(tr_GTPU_GPDU(g_peer_u, ?)) -> value ud {
if (f_verify_gtpu_txseq(ud.gtpu, use_gtpu_txseq) == false) { if (f_verify_gtpu_txseq(ud.gtpu, use_gtpu_txseq) == false) {
setverdict(fail); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
stop; log2str("Received GTPU with wrong txseq while waiting for ICMPv6: ", expected));
} }
var octetstring gpdu := ud.gtpu.gtpu_IEs.g_PDU_IEs.data; var octetstring gpdu := ud.gtpu.gtpu_IEs.g_PDU_IEs.data;
var IPv6_packet ip6 := f_IPv6_dec(gpdu); var IPv6_packet ip6 := f_IPv6_dec(gpdu);
@ -1203,8 +1203,14 @@ module GGSN_Tests {
} }
} }
[] GTPU.receive(tr_GTPU_GPDU(?, ?)) { repeat; } [] GTPU.receive(tr_GTPU_GPDU(?, ?)) { repeat; }
[] GTPU.receive { setverdict(fail); } [] GTPU.receive {
[] T_default.timeout { setverdict(fail); } 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; T_default.stop;
} }