BTS_Tests_SMSCB: use proper templates for RSL channel number

Change-Id: Ib2a8cd4b76f308b318772d1572b6169baff13012
This commit is contained in:
Vadim Yanitskiy 2020-11-14 04:20:40 +07:00 committed by laforge
parent 2b991b6469
commit d4e95e8cfc
1 changed files with 3 additions and 6 deletions

View File

@ -699,7 +699,6 @@ testcase TC_sms_cb_cmd_sdcch4_default_then_null() runs on test_CT {
basic := valueof(t_CbchPC(msgs_1m_3b_default)),
extended := omit
};
var template RslChannelNr t_chan_nr := t_RslChanNr_CBCH4(0);
var L1ctlDlMessage dl;
timer T := 5.0;
@ -714,7 +713,7 @@ testcase TC_sms_cb_cmd_sdcch4_default_then_null() runs on test_CT {
T.start;
alt {
[] L1CTL.receive(tr_L1CTL_DATA_IND(t_chan_nr)) -> value dl {
[] L1CTL.receive(tr_L1CTL_DATA_IND(t_RslChanNr_CBCH4(0))) -> value dl {
log("CBCH: ", dl);
var CBCH_Block cb := dec_CBCH_Block(dl.payload.data_ind.payload);
/* detect the proper CBCH messages; check frame number */
@ -921,7 +920,6 @@ const octetstring c_etws := c_etws_seg0 & c_etws_seg1 & c_etws_seg2 & c_etws_seg
/* Ensure only Paging Type 1 with segmented ETWS Primary Notification are sent after RSL_OSMO_ETWS_CMD */
testcase TC_etws_p1ro() runs on test_CT {
var template RslChannelNr t_chan_nr := ts_RslChanNr_PCH_AGCH(0);
/* decoding the actual entire P1 rest octets by manually generated code is
* too much effort; instead simply do a binary compare to this constant */
const bitstring c_P1RO_hdr := '00101011101'B;
@ -939,7 +937,7 @@ testcase TC_etws_p1ro() runs on test_CT {
L1CTL.clear;
T.start;
alt {
[] L1CTL.receive(tr_L1CTL_DATA_IND(t_chan_nr)) -> value dl {
[] L1CTL.receive(tr_L1CTL_DATA_IND(t_RslChanNr_PCH_AGCH(0))) -> value dl {
var GsmRrMessage l3 := dec_GsmRrMessage(dl.payload.data_ind.payload);
select (l3) {
case (tr_PAG_REQ1(tr_MI_LV(t_MI_NoIdentity()))) {
@ -1013,7 +1011,6 @@ testcase TC_etws_p1ro() runs on test_CT {
/* Ensure only Paging Type 1 without ETWS Primary Notification are sent after disabling them */
testcase TC_etws_p1ro_end() runs on test_CT {
var template RslChannelNr t_chan_nr := ts_RslChanNr_PCH_AGCH(0);
/* we expect four blocks of 14 bytes, let's fill them with content easily
* distinguishable */
/* decoding the actual entire P1 rest octets by manually generated code is
@ -1035,7 +1032,7 @@ testcase TC_etws_p1ro_end() runs on test_CT {
T.start;
L1CTL.clear;
alt {
[] L1CTL.receive(tr_L1CTL_DATA_IND(t_chan_nr)) -> value dl {
[] L1CTL.receive(tr_L1CTL_DATA_IND(t_RslChanNr_PCH_AGCH(0))) -> value dl {
var GsmRrMessage l3 := dec_GsmRrMessage(dl.payload.data_ind.payload);
select (l3) {
case (tr_PAG_REQ1(tr_MI_LV(t_MI_NoIdentity()))) { repeat; }