Is it possible to debug a program when it is run with miri? Can I connect with GDB or something?
There is a debugger in web app form for miri called priroda, but it hasn't been updated in years, so it no longer works with current miri versions. Other than that you can set MIRI_LOG=info to see which MIR statements get executed: miri/CONTRIBUTING.md at 01cd56f44e1f823ff40df6f08c65898a453761cd · rust-lang/miri · GitHub
3 Likes
This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.