<p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20923">View Change</a></p><p>1 comment:</p><ul style="list-style: none; padding: 0;"><li style="margin: 0; padding: 0;"><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20923/1/pcu/PCU_Tests_SNS.ttcn">File pcu/PCU_Tests_SNS.ttcn:</a></p><ul style="list-style: none; padding: 0;"><li style="margin: 0; padding: 0 0 0 16px;"><p style="margin-bottom: 4px;"><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20923/1/pcu/PCU_Tests_SNS.ttcn@290">Patch Set #1, Line 290:</a> <code style="font-family:monospace,monospace">          /</code></p><p><blockquote style="border-left: 1px solid #aaa; margin: 10px 0; padding: 0 10px;">The problem is f_ns_exp() is catching NS_ALIVE even the alt state in 281/283 should handle those.</blockquote></p><p style="white-space: pre-wrap; word-wrap: break-word;">the activated/default altstep always comes last.  so if you have a receive() statement that catches/matches NS-ALIVE before the end of the alt{} clause in f_ns_exp(), then that will match and you will never reach your activated/default altstep.</p><p style="white-space: pre-wrap; word-wrap: break-word;">One way around that would be to explicitly include <br>[] as_rx_alive_tx_ack(idx := 1)<br>[] as_rx_alive_tx_ack(idx := 0)</p><p style="white-space: pre-wrap; word-wrap: break-word;">from f_ns_exp(), but that would make the function less generic.</p><p style="white-space: pre-wrap; word-wrap: break-word;">I guess the root problem is the "t_NS_RecvFrom(?)" clause in f_ns_exp().</p><p style="white-space: pre-wrap; word-wrap: break-word;">Maybe that one should also be converted into an altstep and activated last (i.e. just before going into the alt{} in f_ns_exp).  It should then have lowest priority, after those that the caller activated first.</p><p style="white-space: pre-wrap; word-wrap: break-word;">The "receive any and error" altstep activated from within f_ns_exp then obvoiusly needs to be deactivated before the function returns.</p></li></ul></li></ul><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20923">change 20923</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/+/20923"/><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: Id681749d75073c1d50a4b0a2e86f0a2dd0955b45 </div>
<div style="display:none"> Gerrit-Change-Number: 20923 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </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-CC: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-Comment-Date: Mon, 02 Nov 2020 09:43:23 +0000 </div>
<div style="display:none"> Gerrit-HasComments: Yes </div>
<div style="display:none"> Gerrit-Has-Labels: No </div>
<div style="display:none"> Comment-In-Reply-To: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Comment-In-Reply-To: lynxis lazus <lynxis@fe80.eu> </div>
<div style="display:none"> Gerrit-MessageType: comment </div>