I just found out that miri now supports ffi in any shape, and it's like x-mas came early!
https://www.ralfj.de/blog/2025/12/22/miri.html#invoking-native-code-from-miri
Post
I just found out that miri now supports ffi in any shape, and it's like x-mas came early!
https://www.ralfj.de/blog/2025/12/22/miri.html#invoking-native-code-from-miri
This is a bonfire demo instance for testing purposes