Rainy Sinclair (Jul 31 2023 at 20:14): Rainy Sinclair (Jul 31 2023 at 20:14):I'm trying to understand this miri error I am getting in CI. I think the relevant bit is lines 391-420 in this build log.
It seems to be upset about this fn in particular, but i'm not sure what it is checking for. Does anyone have any pointers or docs I can look at that might help?
Alex Crichton (Jul 31 2023 at 21:22):Oh anything that actually executes wasm can't run through miri so the new tests probably need to be ignored. If you search the testsuite for "miri" you'll see a bunch of others ignored too (sorry on phone else would link)
Last updated: Dec 23 2024 at 13:07 UTC