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ć
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Bug-dejagnu mailing list Bug-dejagnu@gnu.org https://lists.gnu.org/mailman/listinfo/bug-dejagnu
