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

[pespin]

pespin has uploaded this change for review. ( 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(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/06/20806/1

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: 1
Gerrit-Owner: pespin <pespin at sysmocom.de>
Gerrit-MessageType: newchange
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20201020/1d4dd96d/attachment.htm>