search

rust-lang / rust-playground

The Rust Playground
https://play.rust-lang.org/
Apache License 2.0
1.22k stars 205 forks source link

ANSI escape codes in Miri output #820

Open kangalio opened 2 years ago

kangalio commented 2 years ago

Screenshot

Started happening only recently. Since a day ago or so?

kangalio commented 2 years ago

Caused by https://github.com/rust-lang/miri/issues/2277

RalfJung commented 2 years ago

Fixed by https://github.com/rust-lang/miri/pull/2283

epage commented 4 months ago

See also #645

RalfJung commented 4 months ago

I think this issue here has long been fixed. Also the screenshot from the OP doesn't exist any more so we can't even try to reproduce it.

@shepmaster can you close this?

epage commented 4 months ago

If the fix is "don't show them", then yes, that PR resolved it. If its "show colored output", then it seeems #645 would be the issue to track that.

RalfJung commented 4 months ago

This issue is about a Miri specific issue. That one got fixed.