pub enum CoverageLevel {
Block,
Branch,
Condition,
Mcdc,
}
Expand description
Controls whether branch coverage or MC/DC coverage is enabled.
Variants§
Block
Instrument for coverage at the MIR block level.
Branch
Also instrument branch points (includes block coverage).
Condition
Same as branch coverage, but also adds branch instrumentation for certain boolean expressions that are not directly used for branching.
For example, in the following code, b
does not directly participate
in a branch, but condition coverage will instrument it as its own
artificial branch:
let x = a && b;
// ^ last operand
This level is mainly intended to be a stepping-stone towards full MC/DC instrumentation, so it might be removed in the future when MC/DC is sufficiently complete, or if it is making MC/DC changes difficult.
Mcdc
Instrument for MC/DC. Mostly a superset of condition coverage, but might differ in some corner cases.
Trait Implementations§
source§impl Clone for CoverageLevel
impl Clone for CoverageLevel
source§fn clone(&self) -> CoverageLevel
fn clone(&self) -> CoverageLevel
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for CoverageLevel
impl Debug for CoverageLevel
source§impl Default for CoverageLevel
impl Default for CoverageLevel
source§impl Hash for CoverageLevel
impl Hash for CoverageLevel
source§impl Ord for CoverageLevel
impl Ord for CoverageLevel
source§fn cmp(&self, other: &CoverageLevel) -> Ordering
fn cmp(&self, other: &CoverageLevel) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
source§impl PartialEq for CoverageLevel
impl PartialEq for CoverageLevel
source§impl PartialOrd for CoverageLevel
impl PartialOrd for CoverageLevel
impl Copy for CoverageLevel
impl Eq for CoverageLevel
impl StructuralPartialEq for CoverageLevel
Auto Trait Implementations§
impl Freeze for CoverageLevel
impl RefUnwindSafe for CoverageLevel
impl Send for CoverageLevel
impl Sync for CoverageLevel
impl Unpin for CoverageLevel
impl UnwindSafe for CoverageLevel
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
Block
: 0 bytesBranch
: 0 bytesCondition
: 0 bytesMcdc
: 0 bytes