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