Comment by Black616Angel
1 year ago
What does "Passes Miri." mean? There is no link and online I only find a Malaysian city with that name.
1 year ago
What does "Passes Miri." mean? There is no link and online I only find a Malaysian city with that name.
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 :)