diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2020-10-01 06:35:49 +0200 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2020-10-01 06:48:55 +0200 |
commit | 67de93784e416077e14195accc05e79571babbfe (patch) | |
tree | 771a58ff68900f303557cd8d45699bc832ed9d2f | |
parent | 7b562bfe421ef142dad20e63ea90ddece256aaf9 (diff) |
BSSAP_LE: comment/log tweaks
Change-Id: I39ae5abc932c8cb5eb37b8c25a84621bd9ff30ca
-rw-r--r-- | library/BSSAP_LE_Emulation.ttcn | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/library/BSSAP_LE_Emulation.ttcn b/library/BSSAP_LE_Emulation.ttcn index 0b9fe162..294ac62d 100644 --- a/library/BSSAP_LE_Emulation.ttcn +++ b/library/BSSAP_LE_Emulation.ttcn @@ -345,7 +345,7 @@ type record BssapLeOps { private altstep as_reset_ack() runs on BSSAP_LE_Emulation_CT { var BSSAP_LE_N_UNITDATA_ind 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, ts_BSSMAP_LE_ResetAck)); 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; log("ExpectedCreateCallback completeLayer3Information"); } else { - setverdict(fail, "N-CONNECT.ind with L3 != COMPLETE L3"); + setverdict(fail, "N-CONNECT.ind with L3 != { PerformLocReq | COMPLETE L3 }"); mtc.stop; } @@ -684,6 +684,7 @@ runs on BSSAP_LE_Emulation_CT { } /* 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) runs on BSSAP_LE_ConnHdlr { var OCT4 tmsi; |