ttcn3
/
osmo-ttcn3-hacks
mirror of https://gerrit.osmocom.org/osmo-ttcn3-hacks
10
0
Fork 1
Code Issues Releases Wiki Activity

pcu: fix coding style in f_ms_handle_pkt_neighbor_cell_data() 

Change-Id: Ie30c2e031c17c8a6173499635cf10656c33b7e7f
This commit is contained in:
Vadim Yanitskiy 2022-10-05 02:04:25 +07:00 committed by fixeria
parent 1160284ba6
commit 7031893cf5
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pcu/GPRS_Components.ttcn
View File

@ -978,9 +978,9 @@ runs on MS_BTS_IFACE_CT {
[exp_container_idx == 0] as_ms_rx_ignore_dummy(ms, nr);
[exp_container_idx > 0] as_rx_fail_dummy(nr);
[] as_ms_rx_pkt_neighbor_cell_data(ms, exp_si, exp_container_idx, si_offset, nr, single_step);
[] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH),
tr_RLCMAC_DL_CTRL(?, ?)
)) -> value data_msg {
[] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr,
tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH),
tr_RLCMAC_DL_CTRL(?, ?))) -> value data_msg {
var GlobalTfi gtfi := { is_dl_tfi := false, tfi := ms.ul_tbf.tfi };
setverdict(fail, "Rx unexpected DL block: ", data_msg.dl_block, " vs exp ",
tr_RLCMAC_DL_CTRL(?, tr_RlcMacDlCtrl_PKT_NEIGH_CELL_DATA(gtfi, exp_container_idx)));