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

bts-lapdm: Early termination on f_lapdm_transceive_mo() failure 

Change-Id: Ib0db631bc4c203cc1aeaad2640656e3f6942516f
This commit is contained in:
Pau Espin 2020-10-20 18:46:28 +02:00 committed by laforge
parent faf97060a5
commit d6d69b50fc
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
bts/BTS_Tests_LAPDm.ttcn
View File

@ -1008,12 +1008,11 @@ runs on ConnHdlr {
p:=false, nr:=(dls.v_s) mod 8))); p:=false, nr:=(dls.v_s) mod 8)));
[] as_ignore_background(not is_sacch); [] as_ignore_background(not is_sacch);
[] LAPDM.receive(t_PH_DATA(0, is_sacch, ?)) -> value pd { [] LAPDM.receive(t_PH_DATA(0, is_sacch, ?)) -> value pd {
setverdict(fail, "received unexpected LAPDm ", pd); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, log2str("received unexpected LAPDm ", pd));
repeat;
} }
[] LAPDM.receive(t_PH_DATA(0, ?, ?)) { repeat; } [] LAPDM.receive(t_PH_DATA(0, ?, ?)) { repeat; }
[offset < lengthof(l3)] RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, ?)) { [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); setverdict(pass);
} }
[] RSL.receive(tr_RSL_DATA_IND(g_chan_nr, link_id, ?)) { [] 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 { [] 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");
} }
} }
} }