From 5fdb9bba1763b827dff124c97a2e77f994b88b7d Mon Sep 17 00:00:00 2001
From: Daniel Willmann <dwillmann@sysmocom.de>
Date: Tue, 24 Jul 2018 09:55:52 +0200
Subject: Fail if f_streamId_by_trx() can't find a stream id

Change-Id: Ie58278edf7050254d7cdced48b4b7870e0e8d577
---
 library/RSL_Emulation.ttcn | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
 }
 
 
-- 
cgit v1.2.3