search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.18k stars 323 forks source link

cargo-miri: incorrect behavior when `--target` is given multiple times #3460

Closed RalfJung closed 2 weeks ago

RalfJung commented 3 months ago

When --target is given multiple times, Miri thinks we are building the first target, but actually cargo will build the last target.

bjorn3 commented 3 months ago

If you specify --target multiple times, cargo will actually build for every specifies target at the same time, except when doing cargo run where passing multiple --target errors out.

RalfJung commented 3 months ago

Ah true, cargo test actually runs the tests multiple times.

So cargo miri test should support that as well then.