clear the Miri build cache manually (on Linux, `rm -rf ~/.cache/miri`;
and on Windows, `rmdir /S "%LOCALAPPDATA%\rust-lang\miri\cache"`).
+### Benchmarking
+
+Miri comes with a few benchmarks; you can run `./miri bench` to run them with the locally built
+Miri. Note: this will run `./miri install` as a side-effect. Also requires `hyperfine` to be
+installed (`cargo install hyperfine`).
+
## Configuring `rust-analyzer`
To configure `rust-analyzer` and VS Code for working on Miri, save the following
```json
{
+ "rust-analyzer.rustc.source": "discover",
+ "rust-analyzer.linkedProjects": [
+ "./Cargo.toml",
+ "./cargo-miri/Cargo.toml"
+ ],
"rust-analyzer.checkOnSave.overrideCommand": [
"./miri",
"check",
"--message-format=json"
],
+ "rust-analyzer.buildScripts.overrideCommand": [
+ "./miri",
+ "check",
+ "--message-format=json",
+ ],
"rust-analyzer.rustfmt.extraArgs": [
"+nightly"
],
- "rust-analyzer.rustcSource": "discover",
- "rust-analyzer.linkedProjects": [
- "./Cargo.toml",
- "./cargo-miri/Cargo.toml"
- ]
}
```