laforge submitted this change.

View Change

Approvals: Jenkins Builder: Verified laforge: Looks good to me, approved
library: f_diameter_xceive(): fix no matching alt

Currently an unexpected PDU will trigger a DTE (no matching alt).
Let's add an additional wildcard alt and terminate grecefully.

Change-Id: I6dbc646d5f036f454f197137373796f40c4c9e74
Related: SYS#5602, SYS#6333
---
M library/DIAMETER_Emulation.ttcn
1 file changed, 4 insertions(+), 0 deletions(-)

diff --git a/library/DIAMETER_Emulation.ttcn b/library/DIAMETER_Emulation.ttcn
index 09f92be..d9d9f7a 100644
--- a/library/DIAMETER_Emulation.ttcn
+++ b/library/DIAMETER_Emulation.ttcn
@@ -260,6 +260,10 @@
DIAMETER.send(t_DIAMETER_Send(g_diameter_conn_id, tx));
alt {
[] DIAMETER.receive(tr_DIAMETER_RecvFrom_R(rx_t)) -> value mrf { }
+ [] DIAMETER.receive(tr_DIAMETER_RecvFrom_R(?)) -> value mrf {
+ setverdict(fail, "Rx unexpected DIAMETER PDU: ", mrf);
+ mtc.stop;
+ }
[] DIAMETER.receive(tr_SctpAssocChange) { repeat; }
[] DIAMETER.receive(tr_SctpPeerAddrChange) { repeat; }
[] T.timeout {

To view, visit change 31291. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I6dbc646d5f036f454f197137373796f40c4c9e74
Gerrit-Change-Number: 31291
Gerrit-PatchSet: 3
Gerrit-Owner: fixeria <vyanitskiy@sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: laforge <laforge@osmocom.org>
Gerrit-MessageType: merged