Change in osmo-ttcn3-hacks[master]: bts-lapdm: Early termination on f_lapdm_transceive_mo() failure

[laforge]

laforge has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20806 )

Change subject: bts-lapdm: Early termination on f_lapdm_transceive_mo() failure
......................................................................

bts-lapdm: Early termination on f_lapdm_transceive_mo() failure

Change-Id: Ib0db631bc4c203cc1aeaad2640656e3f6942516f
---
M bts/BTS_Tests_LAPDm.ttcn
1 file changed, 4 insertions(+), 5 deletions(-)

Approvals:
  laforge: Looks good to me, approved
  Jenkins Builder: Verified



diff --git a/bts/BTS_Tests_LAPDm.ttcn b/bts/BTS_Tests_LAPDm.ttcn
index 05c1a71..d961adb 100644
--- a/bts/BTS_Tests_LAPDm.ttcn
+++ b/bts/BTS_Tests_LAPDm.ttcn
@@ -1008,12 +1008,11 @@
 								    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 @@
 		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");
 		}
 	}
 }

-- 
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20806
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: Ib0db631bc4c203cc1aeaad2640656e3f6942516f
Gerrit-Change-Number: 20806
Gerrit-PatchSet: 3
Gerrit-Owner: pespin <pespin at sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: laforge <laforge at osmocom.org>
Gerrit-MessageType: merged
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20201021/6948a3a9/attachment.htm>