diff options
author | Daniel Willmann <dwillmann@sysmocom.de> | 2018-07-24 09:55:52 +0200 |
---|---|---|
committer | Daniel Willmann <dwillmann@sysmocom.de> | 2018-07-24 09:57:46 +0200 |
commit | 5fdb9bba1763b827dff124c97a2e77f994b88b7d (patch) | |
tree | 30eda9e4f30b1e49452864bd36b3d280b3f71be7 /library | |
parent | 9abd2221ee0ea433c70277732672558caa064d05 (diff) |
Fail if f_streamId_by_trx() can't find a stream iddaniel/sporadic_failures
Change-Id: Ie58278edf7050254d7cdced48b4b7870e0e8d577
Diffstat (limited to 'library')
-rw-r--r-- | library/RSL_Emulation.ttcn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/library/RSL_Emulation.ttcn b/library/RSL_Emulation.ttcn index 3c035e90..c56c2783 100644 --- a/library/RSL_Emulation.ttcn +++ b/library/RSL_Emulation.ttcn @@ -318,7 +318,8 @@ private function f_streamId_by_trx(uint8_t trx_nr) return IpaStreamId { case (2) { return IPAC_PROTO_RSL_TRX2; } case (3) { return IPAC_PROTO_RSL_TRX3; } } - self.stop; + setverdict(fail, "Unknown stream ID ", trx_nr); + mtc.stop; } |