Closed
Description
I'm quite confused here, so it's possible that this is not a Miri bug, but:
I built Miri locally to work on features a couple weeks back, and now cargo +nightly-whatever miri
doesn't appear to work anymore. Because I needed the cargo wrapper (miri test
doesn't behave exactly the same way), I did ./miri install
.
Now when I try cargo +nightly miri test
or equivalent, I get:
thread 'main' panicked at 'failed to determine underlying rustc version of Miri: CommandError { stdout: "", stderr: "fatal error: This Miri got built with local toolchain `miri`, but now is being run under a different toolchain. \nMake sure to run Miri in the toolchain it got built with, e.g. via `cargo +miri miri`.\n" }', src/phases.rs:91:10
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
I've tried ./miri uninstall
, which doesn't seem to exist. I've tried removing the files that I assume are responsible in ~/.cargo/bin
and re-running rustup component add miri
, but curiously the files are not recreated and cargo miri
remains an unrecognized subcommand.
Halp?
Metadata
Metadata
Assignees
Labels
No labels