pcu: Call f_shutdown if BSN doesn't match
Change-Id: I208f5100f9891874a8a61510edc8c5d215570b14
diff --git a/pcu/GPRS_Components.ttcn b/pcu/GPRS_Components.ttcn
index 2686ba3..51c5a8d 100644
--- a/pcu/GPRS_Components.ttcn
+++ b/pcu/GPRS_Components.ttcn
@@ -910,6 +910,7 @@
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) {