From e582f20aa3018ff133d863807bdc3ffbb255e62c Mon Sep 17 00:00:00 2001
From: Pau Espin Pedrol <pespin@sysmocom.de>
Date: Fri, 13 Nov 2020 11:50:09 +0100
Subject: [PATCH] pcu: Call f_shutdown if BSN doesn't match

Change-Id: I208f5100f9891874a8a61510edc8c5d215570b14
---
 pcu/GPRS_Components.ttcn | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pcu/GPRS_Components.ttcn b/pcu/GPRS_Components.ttcn
index 2686ba389..51c5a8d2f 100644
--- a/pcu/GPRS_Components.ttcn
+++ b/pcu/GPRS_Components.ttcn
@@ -910,6 +910,7 @@ runs on MS_BTS_IFACE_CT {
 	if (not match(data_block.mac_hdr.hdr_ext.bsn, exp_bsn)) {
 		setverdict(fail, "DL block BSN doesn't match: ",
 			   data_block.mac_hdr.hdr_ext.bsn, " vs exp ", exp_bsn);
+		f_shutdown(__BFILE__, __LINE__);
 	}
 
 	if (lengthof(data_block.blocks) < 1) {