Hi,

On Wednesday, 5 October 2022 05:31:17 CEST Jacob Bachmeyer wrote:
> A preliminary patch has been pushed on the PR58065 branch at Savannah.
> Please confirm that it resolves this issue.
It does.

> The preliminary patch works by storing the result of message
> processing before calling ${tool}-dg-prune and discarding the stored
> results instead of reporting them to the framework if
> ${tool}-dg-prune indicates to abort the test.
> 
> The descriptions given were sufficient that I was able avoid examining
> the offered test case and thus avoid needing associated copyright
> paperwork.
Huh, would have looking at the provided test even require such papers? 
That seems a bit excess..

At any rate, this works. Thank you!

Have a great evening,
-- 
Arsen Arsenović