Hacker News new | ask | show | jobs
by Black616Angel 518 days ago
What does "Passes Miri." mean? There is no link and online I only find a Malaysian city with that name.
2 comments

Miri is a Rust tool with a similar function to Valgrind, it checks for undefined behavior.

https://github.com/rust-lang/miri

For anyone curious for more details, miri works in a different way than valgrind. it is an interpreter for rust that does additional checks at runtime to detect undefined behavior. This allows it to be fully deterministic, simulate other platforms, and do additional checks that I don’t think would be possible for valgrind
Someone else already answered, just a tip for future searches: If you know somewhat the context (in this case Rust), adding just one keyword to your query (in this case "Miri Rust") will give you the right answer as the first hit :)