Ever since #2956, the debug!/trace! macros in Miri are basically useless, since we use the "tracing" from the rustc build which has those hard-disabled. That's extremely annoying and makes debugging some parts of Miri very painful.
@oli-obk any idea what we could do about this? At least Miri debug builds should really have a way to actually be traced. I currently manually replace trace!/debug! by info! when I need to debug things, but obviously that's a pretty terrible workflow.
Ever since #2956, the
debug!/trace!macros in Miri are basically useless, since we use the "tracing" from the rustc build which has those hard-disabled. That's extremely annoying and makes debugging some parts of Miri very painful.@oli-obk any idea what we could do about this? At least Miri debug builds should really have a way to actually be traced. I currently manually replace
trace!/debug!byinfo!when I need to debug things, but obviously that's a pretty terrible workflow.