On Fri, Dec 27, 2024 at 01:23:40PM +0000, Marc Zyngier wrote: ... > Additionally, these tests are mostly pointless anyway, specially this > one, which really should be deleted. > Would it by any chance be possible to remove such pointless tests, or at least mark them as BROKEN ? Having them present suggests that people should run them, and feedback such as this one isn't really helpful. If anything, it is tremendously frustrating for anyone trying to run those tests and getting that kind of feedback when noticing and reporting that they are broken. Thanks, Guenter
