PCU_Tests: verify deallocation of TBFs

In most tests, add a final stage that ensures that all TBFs are freed in
some way or other, by polling the talloc report via VTY.

This implies that each test run is using the osmo-pcu process
exclusively, i.e. that no other test cases run in parallel. In practice,
this is currently always the case.

Related: SYS#5209
Change-Id: Ied9deab5aff9b4b5f5874216393d6c56293754ab

1 files changed, 65 insertions, 0 deletions

diff --git a/pcu/PCU_Tests.ttcn b/pcu/PCU_Tests.ttcn
index 8012daa1..a203b677 100644
--- a/pcu/PCU_Tests.ttcn
+++ b/pcu/PCU_Tests.ttcn
@@ -253,6 +253,8 @@ runs on RAW_PCU_Test_CT {
 	}
 }
 
+const StrList short_lived_talloc_objects := {"struct gprs_rlcmac_ul_tbf"};
+
 private function f_init_vty(charstring id, boolean egprs_only) runs on RAW_PCU_Test_CT {
 	map(self:PCUVTY, system:PCUVTY);
 	f_vty_set_prompts(PCUVTY);
@@ -274,6 +276,8 @@ private function f_init_vty(charstring id, boolean egprs_only) runs on RAW_PCU_T
 
 function f_init_raw(charstring id, template (value) PCUIF_info_ind info_ind := ts_PCUIF_INFO_default)
 runs on RAW_PCU_Test_CT {
+	f_sleep(0.5);
+
 	/* Start the guard timer */
 	g_T_guard.start;
 	activate(as_Tguard_RAW());
@@ -2271,6 +2275,8 @@ testcase TC_ul_all_sizes() runs on RAW_PCU_Test_CT  {
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
+
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -2310,6 +2316,8 @@ function f_TC_ul_data_toolong_fills_padding_cs(inout GprsMS ms, CodingScheme cs,
 		setverdict(pass);
 		}
 	}
+
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 }
 /* Verify PCU finds out incorrectly formated RLC block and discards it. This
    blocks intentionally contain last byte of data placed in last byte of RLC
@@ -2340,6 +2348,8 @@ testcase TC_ul_data_toolong_fills_padding() runs on RAW_PCU_Test_CT  {
 	f_TC_ul_data_toolong_fills_padding_cs(ms, CS_3, 1);
 	f_TC_ul_data_toolong_fills_padding_cs(ms, CS_4, 0);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
+
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -2392,6 +2402,7 @@ private function f_TC_mo_ping_pong_1phase_access(template (present) CodingScheme
 	f_ms_tx_ul_block(ms, ts_RLCMAC_DL_ACK_NACK(ms.dl_tbf.tfi, ms.dl_tbf.acknack_desc),
 			     f_dl_block_ack_fn(dl_block, dl_fn));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -2469,6 +2480,7 @@ runs on RAW_PCU_Test_CT {
 	f_ms_tx_ul_block(ms, f_dltbf_ts_RLCMAC_DL_ACK_NACK(ms.dl_tbf, ischosen(dl_block.data_egprs)),
 			 f_dl_block_ack_fn(dl_block, dl_fn));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -2589,6 +2601,7 @@ runs on RAW_PCU_Test_CT {
 	/* UL block should be received in SGSN */
 	BSSGP[0].receive(tr_BSSGP_UL_UD(ms.tlli, mp_gb_cfg.bvc[0].cell_id));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -2687,6 +2700,7 @@ testcase TC_ul_intermediate_retrans() runs on RAW_PCU_Test_CT {
 	/* receive one message on BSSGP with all aggregated data in payload: */
 	BSSGP[0].receive(tr_BSSGP_UL_UD(ms.tlli, mp_gb_cfg.bvc[0].cell_id, total_payload));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -2734,6 +2748,7 @@ testcase TC_imm_ass_dl_block_retrans() runs on RAW_PCU_Test_CT {
 	f_ms_tx_ul_block(ms, ts_RLCMAC_DL_ACK_NACK(ms.dl_tbf.tfi, ms.dl_tbf.acknack_desc),
 			 f_dl_block_ack_fn(dl_block, dl_fn));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -2819,6 +2834,7 @@ testcase TC_dl_flow_more_blocks() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -2928,6 +2944,7 @@ testcase TC_ul_flow_multiple_llc_blocks() runs on RAW_PCU_Test_CT {
 	/* DL ACK/NACK sets poll+rrbp requesting PACKET CONTROL ACK */
 	f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3019,6 +3036,7 @@ testcase TC_dl_no_ack_retrans_imm_ass() runs on RAW_PCU_Test_CT {
 	}
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3173,6 +3191,7 @@ testcase TC_dl_multislot_tbf_ms_class_from_sgsn() runs on RAW_PCU_Test_CT {
 	}
 	f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn, nr := f_ms_tx_TsTrxBtsNum(ms));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3222,6 +3241,7 @@ testcase TC_dl_multislot_tbf_ms_class_from_2phase() runs on RAW_PCU_Test_CT {
 	}
 	f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn, nr := f_ms_tx_TsTrxBtsNum(ms));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3265,6 +3285,7 @@ testcase TC_ul_multislot_tbf_ms_class_from_2phase() runs on RAW_PCU_Test_CT {
 		f_shutdown(__BFILE__, __LINE__);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3343,6 +3364,7 @@ testcase TC_ul_tbf_reestablish_with_pkt_resource_req() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3582,6 +3604,7 @@ testcase TC_paging_cs_from_bts() runs on RAW_PCU_Test_CT {
 		setverdict(fail, "Failed to match IMSI ", imsi, " in ", req);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3633,6 +3656,7 @@ runs on RAW_PCU_Test_CT {
 		}
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3687,6 +3711,8 @@ runs on RAW_PCU_Test_CT {
 		{ name := "TTCN3.bts.0.pch.requests", mtype := "c", min := 1, max := 1 }
 	};
 	f_statsd_expect(expect);
+
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 }
 
 testcase TC_paging_ps_from_sgsn_sign_ptmsi() runs on RAW_PCU_Test_CT {
@@ -3796,6 +3822,7 @@ testcase TC_bssgp_dl_unitdata_with_valid_imsi() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3839,6 +3866,7 @@ testcase TC_bssgp_dl_unitdata_with_invalid_imsi() runs on RAW_PCU_Test_CT {
 
 	/* TODO: make sure no data is sent over PCU -> MS */
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3891,6 +3919,7 @@ private function f_tc_dl_data_no_llc_ui_dummy(template (omit) MSRadioAccessCapab
 				f_shutdown(__BFILE__, __LINE__);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -3965,6 +3994,7 @@ testcase TC_egprs_pkt_chan_req_signalling() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4014,6 +4044,7 @@ testcase TC_egprs_pkt_chan_req_one_phase() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4061,6 +4092,7 @@ testcase TC_egprs_pkt_chan_req_two_phase() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4139,6 +4171,7 @@ testcase TC_egprs_pkt_chan_req_reject_content() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4182,6 +4215,7 @@ testcase TC_egprs_pkt_chan_req_reject_emergency() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4239,6 +4273,7 @@ testcase TC_egprs_pkt_chan_req_reject_exhaustion() runs on RAW_PCU_Test_CT {
 	};
 	f_statsd_expect(expect);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4310,6 +4345,7 @@ testcase TC_pcuif_fh_imm_ass_ul_egprs() runs on RAW_PCU_Test_CT {
 	f_ms_establish_ul_tbf(ms);
 
 	f_TC_pcuif_fh_check_imm_ass(valueof(info_ind), ms.ul_tbf.rr_imm_ass);
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4328,6 +4364,7 @@ testcase TC_pcuif_fh_imm_ass_ul() runs on RAW_PCU_Test_CT {
 	f_ms_establish_ul_tbf(ms);
 
 	f_TC_pcuif_fh_check_imm_ass(valueof(info_ind), ms.ul_tbf.rr_imm_ass);
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4354,6 +4391,7 @@ testcase TC_pcuif_fh_imm_ass_dl() runs on RAW_PCU_Test_CT {
 	f_ms_exp_dl_tbf_ass_ccch(ms, PCU_IF_SAPI_PCH);
 
 	f_TC_pcuif_fh_check_imm_ass(valueof(info_ind), ms.dl_tbf.rr_imm_ass);
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4434,6 +4472,7 @@ testcase TC_pcuif_fh_pkt_ass_ul() runs on RAW_PCU_Test_CT {
 	}
 
 	f_TC_pcuif_fh_check_pkt_ass(valueof(info_ind), valueof(fp));
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4482,6 +4521,7 @@ testcase TC_pcuif_fh_pkt_ass_dl() runs on RAW_PCU_Test_CT {
 	}
 
 	f_TC_pcuif_fh_check_pkt_ass(valueof(info_ind), da.freq_par);
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4499,6 +4539,7 @@ testcase TC_pcuif_info_ind_subsequent() runs on RAW_PCU_Test_CT {
 		f_pcuif_rx_data_req_pdtch(data_msg);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4540,6 +4581,7 @@ testcase TC_multitrx_multims_alloc() runs on RAW_PCU_Test_CT {
 		}
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4724,6 +4766,7 @@ testcase TC_multiplex_dl_gprs_egprs() runs on RAW_PCU_Test_CT {
 		f_shutdown(__BFILE__, __LINE__);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4831,6 +4874,7 @@ testcase TC_paging_cs_multi_ms_imsi() runs on RAW_PCU_Test_CT {
 		f_TC_paging_cs_multi_ms(nr, exp_imsi := true, exp_tmsi := false);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4856,6 +4900,7 @@ testcase TC_paging_cs_multi_ms_tmsi() runs on RAW_PCU_Test_CT {
 		f_TC_paging_cs_multi_ms(nr, exp_imsi := false, exp_tmsi := true);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -4885,6 +4930,7 @@ testcase TC_paging_cs_multi_ms_imsi_tmsi() runs on RAW_PCU_Test_CT {
 		f_TC_paging_cs_multi_ms(nr, exp_imsi := true, exp_tmsi := true);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5057,6 +5103,7 @@ testcase TC_nacc_outbound_success() runs on RAW_PCU_Test_CT {
 	/* Start NACC from MS side */
 	f_outbound_nacc_success(ms, info_ind, use_old_ctrl_iface := use_old_ctrl_iface);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5110,6 +5157,7 @@ testcase TC_nacc_outbound_success_no_ctrl_ack() runs on RAW_PCU_Test_CT {
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5155,6 +5203,7 @@ testcase TC_nacc_outbound_success_twice() runs on RAW_PCU_Test_CT {
 	/* First NACC procedure is done, let's try to start a new one now that previous queries are cached: */
 	f_outbound_nacc_success(ms, info_ind, false, false, use_old_ctrl_iface := use_old_ctrl_iface);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5206,6 +5255,7 @@ testcase TC_nacc_outbound_success_twice_nocache() runs on RAW_PCU_Test_CT {
 	/* First NACC procedure is done, let's try to start a new one now that previous queries have timed out: */
 	f_outbound_nacc_success(ms, info_ind, use_old_ctrl_iface := use_old_ctrl_iface);
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5262,6 +5312,7 @@ testcase TC_nacc_outbound_rac_ci_resolve_conn_refused() runs on RAW_PCU_Test_CT
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5323,6 +5374,7 @@ testcase TC_nacc_outbound_rac_ci_resolve_timeout() runs on RAW_PCU_Test_CT {
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5387,6 +5439,7 @@ testcase TC_nacc_outbound_rac_ci_resolve_fail_parse_response() runs on RAW_PCU_T
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5463,6 +5516,7 @@ testcase TC_nacc_outbound_si_resolve_timeout() runs on RAW_PCU_Test_CT {
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5566,6 +5620,7 @@ testcase TC_nacc_outbound_pkt_cell_chg_notif_dup() runs on RAW_PCU_Test_CT {
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5646,6 +5701,7 @@ testcase TC_nacc_outbound_pkt_cell_chg_notif_dup2() runs on RAW_PCU_Test_CT {
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -5939,6 +5995,7 @@ testcase TC_nacc_outbound_pkt_cell_chg_notif_twice() runs on RAW_PCU_Test_CT {
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -6016,6 +6073,7 @@ testcase TC_nacc_outbound_pkt_cell_chg_notif_twice2() runs on RAW_PCU_Test_CT {
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -6091,6 +6149,7 @@ testcase TC_nacc_outbound_pkt_cell_chg_notif_twice3() runs on RAW_PCU_Test_CT {
 		sched_fn := f_rrbp_ack_fn(sched_fn, dl_block.ctrl.mac_hdr.rrbp);
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 }
 
 /* Test MS sending Pkt Cell Change Notification twice (different tgt cell) while sending Pkt Cell Change Continue */
@@ -6170,6 +6229,7 @@ testcase TC_nacc_outbound_pkt_cell_chg_notif_twice4() runs on RAW_PCU_Test_CT {
 		sched_fn := f_rrbp_ack_fn(sched_fn, dl_block.ctrl.mac_hdr.rrbp);
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 }
 
 /* Test MS sending Pkt Cell Change Notification twice (different tgt cell) while waiting for Pkt Cell Change Continue CTRL ACK*/
@@ -6276,6 +6336,7 @@ testcase TC_nacc_outbound_pkt_cell_chg_notif_twice5() runs on RAW_PCU_Test_CT {
 		sched_fn := f_rrbp_ack_fn(sched_fn, dl_block.ctrl.mac_hdr.rrbp);
 		f_ms_tx_ul_block(ms, ts_RLCMAC_CTRL_ACK(ms.tlli), sched_fn);
 	}
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 }
 
 /* Test MS sending Pkt Cell Change Notification on an MS with an existing but unassigned (no TFI) DL TBF */
@@ -6358,6 +6419,7 @@ testcase TC_nacc_outbound_pkt_cell_chg_notif_unassigned_dl_tbf() runs on RAW_PCU
 	f_acknackdesc_ack_block(ms.dl_tbf.acknack_desc, dl_block, '1'B);
 	f_ms_tx_ul_block(ms, ts_RLCMAC_DL_ACK_NACK(ms.dl_tbf.tfi, ms.dl_tbf.acknack_desc),
 			 f_dl_block_ack_fn(dl_block, dl_fn));
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 }
 
 
@@ -6433,6 +6495,7 @@ testcase TC_rim_ran_info_req_single_rep() runs on RAW_PCU_Test_CT {
 	f_do_inbound_nacc(ts_RIM_Routing_Information(RIM_ADDR_GERAN_CELL_ID, src_addr),
 			  tr_RIM_Routing_Information(RIM_ADDR_GERAN_CELL_ID, src_addr));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -6455,6 +6518,7 @@ testcase TC_rim_ran_info_req_single_rep_eutran() runs on RAW_PCU_Test_CT {
 	f_do_inbound_nacc(ts_RIM_Routing_Information(RIM_ADDR_EUTRAN_NODEB_ID, src_addr),
 			  tr_RIM_Routing_Information(RIM_ADDR_EUTRAN_NODEB_ID, src_addr));
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }
 
@@ -6529,6 +6593,7 @@ testcase TC_rim_ran_info_req_single_rep_no_si() runs on RAW_PCU_Test_CT {
 		}
 	}
 
+	f_verify_talloc_count(PCUVTY, short_lived_talloc_objects);
 	f_shutdown(__BFILE__, __LINE__, final := true);
 }