diff options
| author | Ben Kimock <kimockb@gmail.com> | 2023-05-09 19:45:09 -0400 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2023-05-09 20:34:16 -0400 |
| commit | 9f1624a22d9d0243be11ffee0049ae06a48639da (patch) | |
| tree | 9f6ed35f6aea7efe7b69c1f5aad1ce1a4698985b | |
| parent | c3e7ff4609ea14126077de16f2bd2dc4cc3e2cde (diff) | |
| download | rust-9f1624a22d9d0243be11ffee0049ae06a48639da.tar.gz rust-9f1624a22d9d0243be11ffee0049ae06a48639da.zip | |
Amend the docs for -Zmiri-measureme
| -rw-r--r-- | src/tools/miri/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index 640a953dac9..79b0daf9e82 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -389,7 +389,7 @@ to Miri failing to detect cases of undefined behavior in a program. Follow [the discussion on supporting other types](https://github.com/rust-lang/miri/issues/2365). * `-Zmiri-measureme=<name>` enables `measureme` profiling for the interpreted program. This can be used to find which parts of your program are executing slowly under Miri. - The profile is written out to a file with the prefix `<name>`, and can be processed + The profile is written out to a file inside a directory called `<name>`, and can be processed using the tools in the repository https://github.com/rust-lang/measureme. * `-Zmiri-mute-stdout-stderr` silently ignores all writes to stdout and stderr, but reports to the program that it did actually write. This is useful when you |