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

PCU_Tests.ttcn: Use "normal" Osmocom TTCN-3 coding style 

Change-Id: I6eaca0ec7fb9c2dc5d59e385bc3a3a8bb85fe23a
This commit is contained in:
Harald Welte 2019-03-21 17:23:04 +01:00
parent e81d84edd2
commit a419df22a6
1 changed files with 534 additions and 534 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pcu/PCU_Tests.ttcn
View File

@ -643,8 +643,7 @@ function f_ul_tbf(inout UlTbfState us) runs on dummy_CT {
var RLCMAC_ph_data_ind dl;
alt {
[] L1.receive(RLCMAC_ph_data_ind:{cs:=?, ts_nr:=?, fn:=?, block:=tr_RLCMAC_DATA_RRBP}) ->
value dl {
[] L1.receive(RLCMAC_ph_data_ind:{cs:=?, ts_nr:=?, fn:=?, block:=tr_RLCMAC_DATA_RRBP}) -> value dl {
var uint6_t tfi := dl.block.data.mac_hdr.hdr_ext.tfi;
var GsmFrameNumber ul_fn := f_rrbp_fn(dl.fn, dl.block.data.mac_hdr.mac_hdr.rrbp);
var AckNackDescription an_desc := { /* FIXME: compute this based on state */
@ -671,4 +670,5 @@ value dl {
execute(TC_ul_tbf());
execute(TC_paging());
}
};