<p style="white-space: pre-wrap; word-wrap: break-word;">I don't really like the idea of silently queueing messages somewhere.  This has the potential of hiding bugs, as the IUT can now send masssive amounts of unexpected/wrong messages which will just be stuffed into a queue somewhere rather than making the test case fail.</p><p style="white-space: pre-wrap; word-wrap: break-word;">I don't really have a good alternative solution, though.</p><p style="white-space: pre-wrap; word-wrap: break-word;">Maybe we could improve the situation by introducing a check at the end of each test which verifies the queue is empty?</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/18923">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/+/18923">change 18923</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/+/18923"/><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: I25e10e28de174337233e6a3bb32cc16f2d7d614e </div>
<div style="display:none"> Gerrit-Change-Number: 18923 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: fixeria <vyanitskiy@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-Reviewer: neels <nhofmeyr@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: pespin <pespin@sysmocom.de> </div>
<div style="display:none"> Gerrit-Comment-Date: Fri, 19 Jun 2020 20:12:13 +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>