You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The text was updated successfully, but these errors were encountered:
RalfJung
changed the title
Poor error in ./miri run --dep when using a fron -Zmiri flag
Poor error in ./miri run --dep when using a wrong -Zmiri flag
Nov 1, 2024
However, as far as I can see there is no nice way to report a test_result::Errored -- the fields are private and the Debug impl produces the ugly output above. @oli-obk how is this intended to work? I can't quite figure it out...
Showing stderr as its raw ASCII encoding isn't exactly readable. ;)
Cc @oli-obk
The text was updated successfully, but these errors were encountered: