From ff07978bf313744f4b9a41e85e24f45aeed3a76c Mon Sep 17 00:00:00 2001 From: Federico Poli Date: Mon, 7 Mar 2022 13:56:35 +0100 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 60b7d7af..7d58a775 100644 --- a/README.md +++ b/README.md @@ -81,5 +81,6 @@ If Prusti fails to run, you can inspect Prusti's log from VS Code (View -> Outpu | Prusti crashes mentioning "Unexpected output of Z3" in the log. | Prusti is using an incompatible Z3 version. Make sure that the `Z3_EXE` environment variable is unset in your OS and in the settings of the extension. Then, restart the IDE. | | `error[E0514]: found crate 'cfg_if' compiled by an incompatible version of rustc` | There is a conflict between Prusti and a previous Cargo compilation. Run `cargo clean` or manually delete the `target` folder. Then, rerun Prusti. | | `error: the 'cargo' binary, normally provided by the 'cargo' component, is not applicable to the 'nightly-2021-09-20-x86_64-unknown-linux-gnu' toolchain`
or
`error[E0463]: can't find crate for std`
or
`error[E0463]: can't find crate for core` | The Rust toolchain installed by Rustup is probably corrupted (see issue [rustup/#2417](https://github.com/rust-lang/rustup/issues/2417)). [Uninstall](https://stackoverflow.com/questions/42322879/how-to-remove-rust-compiler-toolchains-with-rustup) the nightly toolchain mentioned in the error (or all installed nightly toolchains). Then, rerun Prusti. | +| `error: no override and no default toolchain set` | Rustup has probably been installed without the `default` toolchain. [Install it](https://stackoverflow.com/a/46864309/2491528), then rerun Prusti. | -Thanks to @Pointerbender for reporting issues and suggesting solutions! +Thanks to @Pointerbender and @michaelpaper for their help in reporting, debugging and solving many of these issues!