>ven. 02 mai 2025 at 18:14, Andreas Enge <andreas@enge.fr> wrote:

> Hello Cayetano,
>
> I tried your patch and got a test failure:

You need to apply my previous patch before, #78214, to fix yosys (used
by symbiyosys)

Sorry, I though it was clear. I should have sent a single patch with the
two commits instead.

C.