commit e582f20aa3018ff133d863807bdc3ffbb255e62c
author Pau Espin Pedrol <pespin@sysmocom.de> Fri Nov 13 11:50:09 2020 +0100
committer Pau Espin Pedrol <pespin@sysmocom.de> Mon Nov 16 10:48:25 2020 +0100
tree b85fb77031f316f83708202122bb3ef05ec82a4a
parent aa0d7ccf6ae2733f98d57b0649d89566dc9037dc

pcu: Call f_shutdown if BSN doesn't match

Change-Id: I208f5100f9891874a8a61510edc8c5d215570b14

pcu/GPRS_Components.ttcn

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) {