Hi Nicola, On 18/10/2023 13:30, Nicola Vetrini wrote:
On 17/10/2023 15:28, Julien Grall wrote:I tested this, and the report is prevented by the ASSERT. It's up to the maintainers todecide how do you want to proceed: my suggestion is deviating it,
It is not clear to me what would you deviate. Can you clarify? Cheers, -- Julien Grall
