diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2024-03-13 20:53:10 +1100 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2024-03-14 17:19:06 +1100 |
| commit | 060c7ce7e9e09c463352a1cabd3ea1d7264deef2 (patch) | |
| tree | a63d71699716af1e2c0c8528cfc6685bdffdc187 /src/doc/rustc | |
| parent | 5fb1f61a7702d87380026e9f1c7a1fac01920d18 (diff) | |
coverage: `-Zcoverage-options=branch` is no longer a placeholder
Diffstat (limited to 'src/doc/rustc')
| -rw-r--r-- | src/doc/rustc/src/instrument-coverage.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc/src/instrument-coverage.md b/src/doc/rustc/src/instrument-coverage.md index 7780f2102ba..185a3ba5dbd 100644 --- a/src/doc/rustc/src/instrument-coverage.md +++ b/src/doc/rustc/src/instrument-coverage.md @@ -352,7 +352,7 @@ This unstable option provides finer control over some aspects of coverage instrumentation. Pass one or more of the following values, separated by commas. - `branch` or `no-branch` - - Placeholder for potential branch coverage support in the future. + - Enables or disables branch coverage instrumentation. ## Other references |