From d6d69b50fcffe6539466a067c748ef18bf32730a Mon Sep 17 00:00:00 2001 From: Pau Espin Pedrol Date: Tue, 20 Oct 2020 18:46:28 +0200 Subject: bts-lapdm: Early termination on f_lapdm_transceive_mo() failure Change-Id: Ib0db631bc4c203cc1aeaad2640656e3f6942516f --- bts/BTS_Tests_LAPDm.ttcn | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/bts/BTS_Tests_LAPDm.ttcn b/bts/BTS_Tests_LAPDm.ttcn index 05c1a712..d961adb8 100644 --- a/bts/BTS_Tests_LAPDm.ttcn +++ b/bts/BTS_Tests_LAPDm.ttcn @@ -1008,12 +1008,11 @@ runs on ConnHdlr { p:=false, nr:=(dls.v_s) mod 8))); [] as_ignore_background(not is_sacch); [] LAPDM.receive(t_PH_DATA(0, is_sacch, ?)) -> value pd { - setverdict(fail, "received unexpected LAPDm ", pd); - repeat; + Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("received unexpected LAPDm ", pd)); } [] LAPDM.receive(t_PH_DATA(0, ?, ?)) { repeat; } [offset < lengthof(l3)] RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, ?)) { - setverdict(fail, "received RSL DATA IND before message complete"); + Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "received RSL DATA IND before message complete"); } } } @@ -1025,10 +1024,10 @@ runs on ConnHdlr { setverdict(pass); } [] RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, ?)) { - setverdict(fail, "Received RSL DATA IND with wrong payload"); + Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "Received RSL DATA IND with wrong payload"); } [] T.timeout { - setverdict(fail, "Timeout waiting for RSL DATA IND of de-segmented message"); + Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "Timeout waiting for RSL DATA IND of de-segmented message"); } } } -- cgit v1.2.3