Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit adb15a2

Browse files
committedAug 7, 2023
Auto merge of #114560 - RalfJung:miri, r=RalfJung
update Miri
2 parents 4a71a05 + d1174a9 commit adb15a2

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

60 files changed

+1645
-778
lines changed
 

‎src/tools/miri/.github/workflows/ci.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -130,7 +130,7 @@ jobs:
130130
- name: clippy
131131
run: ./miri clippy -- -D warnings
132132
- name: rustdoc
133-
run: RUSTDOCFLAGS="-Dwarnings" cargo doc --document-private-items
133+
run: RUSTDOCFLAGS="-Dwarnings" ./miri cargo doc --document-private-items
134134

135135
# These jobs doesn't actually test anything, but they're only used to tell
136136
# bors the build completed, as there is no practical way to detect when a

‎src/tools/miri/CONTRIBUTING.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -107,7 +107,7 @@ evaluation error was originally raised.
107107
### UI testing
108108

109109
We use ui-testing in Miri, meaning we generate `.stderr` and `.stdout` files for the output
110-
produced by Miri. You can use `./miri bless` to automatically (re)generate these files when
110+
produced by Miri. You can use `./miri test --bless` to automatically (re)generate these files when
111111
you add new tests or change how Miri presents certain output.
112112

113113
Note that when you also use `MIRIFLAGS` to change optimizations and similar, the ui output

0 commit comments

Comments
 (0)
Please sign in to comment.