Skip to content

Poor error in ./miri run --dep when using a wrong -Zmiri flag #3976

Closed
@RalfJung

Description

@RalfJung
$ ./miri run tests/fail-dep/libc/socketpair-data-race.rs  -Zmiri-foo --dep
The application panicked (crashed).
Message:  called `Result::unwrap()` on an `Err` value: Errored { command: "\"/home/r/src/rust/miri/target/debug/miri\" \"--edition\" \"2021\" \"--sysroot\" \"/home/r/.cache/miri\" \"tests/fail-dep/libc/socketpair-data-race.rs\" \"-Zmiri-foo\" \"--out-dir\" \"/home/r/src/rust/miri/target/miri_ui\" \"--print=cfg\" \"--target\" \"x86_64-unknown-linux-gnu\"", errors: [], stderr: [101, 114, 114, 111, 114, 58, 32, 117, 110, 107, 110, 111, 119, 110, 32, 117, 110, 115, 116, 97, 98, 108, 101, 32, 111, 112, 116, 105, 111, 110, 58, 32, 96, 109, 105, 114, 105, 45, 102, 111, 111, 96, 10, 10], stdout: [] }
Location: tests/ui.rs:340

Showing stderr as its raw ASCII encoding isn't exactly readable. ;)

Cc @oli-obk

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-devArea: working on Miri as a developerC-bugCategory: This is a bug.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions