diff --git a/pcu/GPRS_Components.ttcn b/pcu/GPRS_Components.ttcn index 6f3e3e27a..e73609ff1 100644 --- a/pcu/GPRS_Components.ttcn +++ b/pcu/GPRS_Components.ttcn @@ -331,7 +331,11 @@ runs on MS_BTS_IFACE_CT return RlcmacDlBlock { } } else if (match(dl_block, tr_RLCMAC_DL_PACKET_ASS)) { ms.dl_tbf := f_dltbf_new_from_ass_pacch(dl_block); - /* TODO: match tlli from ms.dl_tbf.ass.pacch with ms.tlli), or error */ + if (ischosen(ms.dl_tbf.ass.pacch.tfi_or_tlli.tlli) and + ms.dl_tbf.ass.pacch.tfi_or_tlli.tlli.tlli != ms.tlli) { + setverdict(fail, "Wrong TLLI ", ms.dl_tbf.ass.pacch.tfi_or_tlli.tlli.tlli, " received vs exp ", ms.tlli); + f_shutdown(__BFILE__, __LINE__); + } } else { setverdict(fail, "Should not happen:", dl_block); f_shutdown(__BFILE__, __LINE__);