<p>laforge <strong>submitted</strong> this change.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20002">View Change</a></p><div style="white-space:pre-wrap">Approvals:
  laforge: Looks good to me, approved
  Jenkins Builder: Verified

</div><pre style="font-family: monospace,monospace; white-space: pre-wrap;">PCU_Tests_NS: add missing bound of nrf<br><br>Otherwise it will try to use setverdict() with an unbound PDU<br><br>Change-Id: Ieafe9017126dd293aad09dad3c8a4180c9c29fa0<br>---<br>M pcu/RAW_NS.ttcn<br>1 file changed, 1 insertion(+), 1 deletion(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/pcu/RAW_NS.ttcn b/pcu/RAW_NS.ttcn</span><br><span>index 15a0226..ec484ba 100644</span><br><span>--- a/pcu/RAW_NS.ttcn</span><br><span>+++ b/pcu/RAW_NS.ttcn</span><br><span>@@ -72,7 +72,7 @@</span><br><span>         log("f_ns_exp() expecting ", exp_rx);</span><br><span>      alt {</span><br><span>        [] NSCP[idx].receive(t_NS_RecvFrom(exp_rx)) -> value nrf { }</span><br><span style="color: hsl(0, 100%, 40%);">- [] NSCP[idx].receive {</span><br><span style="color: hsl(120, 100%, 40%);">+        [] NSCP[idx].receive(t_NS_RecvFrom(?)) -> value nrf {</span><br><span>             setverdict(fail, "Received unexpected NS: ", nrf);</span><br><span>                 mtc.stop;</span><br><span>            }</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20002">change 20002</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/+/20002"/><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: Ieafe9017126dd293aad09dad3c8a4180c9c29fa0 </div>
<div style="display:none"> Gerrit-Change-Number: 20002 </div>
<div style="display:none"> Gerrit-PatchSet: 3 </div>
<div style="display:none"> Gerrit-Owner: lynxis lazus <lynxis@fe80.eu> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder </div>
<div style="display:none"> Gerrit-Reviewer: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-MessageType: merged </div>