-
Notifications
You must be signed in to change notification settings - Fork 390
Open
Description
Trying to run miri on a aarch64 Linux system with a 16k page size (which is standard for ARM Macs on Linux). There are performance drawbacks to using 4k kernels (along with them being buggy).
Output:
thread 'main' panicked at src/tools/miri/cargo-miri/src/phases.rs:98:9:
failed to determine underlying rustc version of Miri (MIRI_BE_RUSTC="host" "/home/i509vcb/.rustup/toolchains/nightly-aarch64-unknown-linux-gnu/bin/miri"):
CommandError { stdout: "", stderr: "<jemalloc>: Unsupported system page size\n<jemalloc>: Unsupported system page size\nLLVM ERROR: out of memory\nAllocation failed\n" }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
The system in question is a M2 MacBook Air running the Asahi remix of Fedora 42.
As a workaround miri can be run inside of muvm
CathalMullan
Metadata
Metadata
Assignees
Labels
No labels