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

BSSAP_LE: comment/log tweaks 

Change-Id: I39ae5abc932c8cb5eb37b8c25a84621bd9ff30ca
This commit is contained in:
Neels Hofmeyr 2020-10-01 06:35:49 +02:00
parent 7b562bfe42
commit 67de93784e
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
library/BSSAP_LE_Emulation.ttcn
View File

@ -345,7 +345,7 @@ type record BssapLeOps {
private altstep as_reset_ack() runs on BSSAP_LE_Emulation_CT { private altstep as_reset_ack() runs on BSSAP_LE_Emulation_CT {
var BSSAP_LE_N_UNITDATA_ind ud_ind; var BSSAP_LE_N_UNITDATA_ind ud_ind;
[] BSSAP_LE.receive(tr_BSSAP_LE_UNITDATA_ind(?, ?, tr_BSSMAP_LE_Reset)) -> value ud_ind { [] BSSAP_LE.receive(tr_BSSAP_LE_UNITDATA_ind(?, ?, tr_BSSMAP_LE_Reset)) -> value ud_ind {
log("Respoding to inbound RESET with RESET-ACK"); log("Responding to inbound RESET with RESET-ACK");
BSSAP_LE.send(ts_BSSAP_LE_UNITDATA_req(ud_ind.callingAddress, ud_ind.calledAddress, BSSAP_LE.send(ts_BSSAP_LE_UNITDATA_req(ud_ind.callingAddress, ud_ind.calledAddress,
ts_BSSMAP_LE_ResetAck)); ts_BSSMAP_LE_ResetAck));
repeat; repeat;
@ -611,7 +611,7 @@ runs on BSSAP_LE_Emulation_CT return BSSAP_LE_ConnHdlr {
l3_info := conn_ind.userData.pdu.bssmap.completeLayer3Information.layer3Information.layer3info; l3_info := conn_ind.userData.pdu.bssmap.completeLayer3Information.layer3Information.layer3info;
log("ExpectedCreateCallback completeLayer3Information"); log("ExpectedCreateCallback completeLayer3Information");
} else { } else {
setverdict(fail, "N-CONNECT.ind with L3 != COMPLETE L3"); setverdict(fail, "N-CONNECT.ind with L3 != { PerformLocReq | COMPLETE L3 }");
mtc.stop; mtc.stop;
} }
@ -684,6 +684,7 @@ runs on BSSAP_LE_Emulation_CT {
} }
/* helper function for clients to register their IMSI/TMSI */ /* helper function for clients to register their IMSI/TMSI */
/* FIXME: there is no TMSI in BSSMAP-LE */
function f_bssap_le_register_imsi(hexstring imsi, template (omit) OCT4 tmsi_or_omit) function f_bssap_le_register_imsi(hexstring imsi, template (omit) OCT4 tmsi_or_omit)
runs on BSSAP_LE_ConnHdlr { runs on BSSAP_LE_ConnHdlr {
var OCT4 tmsi; var OCT4 tmsi;