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 /compiler/rustc_session/src | |
| parent | 5fb1f61a7702d87380026e9f1c7a1fac01920d18 (diff) | |
| download | rust-060c7ce7e9e09c463352a1cabd3ea1d7264deef2.tar.gz rust-060c7ce7e9e09c463352a1cabd3ea1d7264deef2.zip | |
coverage: `-Zcoverage-options=branch` is no longer a placeholder
Diffstat (limited to 'compiler/rustc_session/src')
| -rw-r--r-- | compiler/rustc_session/src/config.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_session/src/config.rs b/compiler/rustc_session/src/config.rs index 5c52ee66128..b7ee2c98025 100644 --- a/compiler/rustc_session/src/config.rs +++ b/compiler/rustc_session/src/config.rs @@ -146,7 +146,7 @@ pub enum InstrumentCoverage { /// Individual flag values controlled by `-Z coverage-options`. #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)] pub struct CoverageOptions { - /// Add branch coverage instrumentation (placeholder flag; not yet implemented). + /// Add branch coverage instrumentation. pub branch: bool, } |
