<blockquote style="border-left: 1px solid #aaa; margin: 10px 0; padding: 0 10px;"><p style="white-space: pre-wrap; word-wrap: break-word;">Patch Set 3:</p><p style="white-space: pre-wrap; word-wrap: break-word;">I don't need it now because we only manage 1 BTS, but at some point we may want to add tests for several BTS.</p></blockquote><p style="white-space: pre-wrap; word-wrap: break-word;">Right, but then you'll have several 'BTS' ports, like BTS[0] and BTS[1], so if you do:</p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">  [] BTS[0].receive(...) -> value val;</pre><p style="white-space: pre-wrap; word-wrap: break-word;">you always know that the 'val' comes from BTS[0]. Alternatively:</p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">  [] any from BTS.receive(...) -> sender v_BTS;</pre><p style="white-space: pre-wrap; word-wrap: break-word;">So I don't see why we would need 'bts_nr'.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/22320">View Change</a></p><ul style="list-style: none; padding: 0;"></ul><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/22320">change 22320</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/22320"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-ttcn3-hacks </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: Id8628e327d16c3a57e680e5a1ba0a2a8874f3a23 </div>
<div style="display:none"> Gerrit-Change-Number: 22320 </div>
<div style="display:none"> Gerrit-PatchSet: 3 </div>
<div style="display:none"> Gerrit-Owner: pespin <pespin@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder </div>
<div style="display:none"> Gerrit-Reviewer: fixeria <vyanitskiy@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-Comment-Date: Fri, 05 Feb 2021 16:44:56 +0000 </div>
<div style="display:none"> Gerrit-HasComments: No </div>
<div style="display:none"> Gerrit-Has-Labels: No </div>
<div style="display:none"> Gerrit-MessageType: comment </div>