bsc: f_TC_paging_500req: Improve logging and checks

Change-Id: I08f93ad3170c218bf5e1847613f36e7690dc0908
---
M bsc/BSC_Tests.ttcn
1 file changed, 6 insertions(+), 1 deletion(-)


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

diff --git a/bsc/BSC_Tests.ttcn b/bsc/BSC_Tests.ttcn
index 26d47b6..cdf743a 100644
--- a/bsc/BSC_Tests.ttcn
+++ b/bsc/BSC_Tests.ttcn
@@ -3619,10 +3619,15 @@
 		var charstring imsi_str := hex2str(imsi_suffix);
 		var integer imsi_idx := str2int(imsi_str);
 		if (rx_paging_done[imsi_idx] == false) {
+			if (rx_paging_num != imsi_idx) {
+				setverdict(fail, "Detected out-of-order paging request. Expected ", rx_paging_num," but got ", imsi_idx);
+				mtc.stop;
+		}
+
 			rx_paging_done[imsi_idx] := true;
 			rx_paging_num := rx_paging_num + 1;
 		} else {
-			setverdict(fail, "Retrans happened before Rx initial trans for all reqs. ", rx_paging_num);
+			setverdict(fail, "Retrans of ", imsi_str, " happened before Rx initial trans for all reqs. rx_paging_num=", rx_paging_num);
 			mtc.stop;
 		}
 		if (rx_paging_num < num_subscribers) {

