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 | |
| parent | 5fb1f61a7702d87380026e9f1c7a1fac01920d18 (diff) | |
coverage: `-Zcoverage-options=branch` is no longer a placeholder
Diffstat (limited to 'src')
| -rw-r--r-- | src/doc/rustc/src/instrument-coverage.md | 2 | ||||
| -rw-r--r-- | src/doc/unstable-book/src/compiler-flags/coverage-options.md | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/src/doc/unstable-book/src/compiler-flags/coverage-options.md b/src/doc/unstable-book/src/compiler-flags/coverage-options.md index 105dce61511..450573cc6c7 100644 --- a/src/doc/unstable-book/src/compiler-flags/coverage-options.md +++ b/src/doc/unstable-book/src/compiler-flags/coverage-options.md @@ -5,4 +5,4 @@ This option controls details of the coverage instrumentation performed by Multiple options can be passed, separated by commas. Valid options are: -- `branch` or `no-branch`: Placeholder for future branch coverage support. +- `branch` or `no-branch`: Enables or disables branch coverage instrumentation. |