pub struct E2eStats {
pub rounds: usize,
pub failures: usize,
pub sole_detections: usize,
pub deferred: usize,
}Expand description
What real-machine verification caught that static review did not.
Fields§
§rounds: usizeRounds where E2E commands ran.
failures: usizeRounds where E2E failed.
sole_detections: usizeRounds where E2E failed and no reviewer had raised a blocking finding — a runtime defect that only execution found.
deferred: usizeRounds where E2E was deferred rather than run: blocking findings
already required a fix, so the round went straight to the fixer
instead of spending a full verify run on a head about to change. Kept
separate from Self::rounds on purpose — a deferred round never
ran anything, so counting it there would misreport how often E2E
actually executed.
Implementations§
Trait Implementations§
Auto Trait Implementations§
impl Freeze for E2eStats
impl RefUnwindSafe for E2eStats
impl Send for E2eStats
impl Sync for E2eStats
impl Unpin for E2eStats
impl UnsafeUnpin for E2eStats
impl UnwindSafe for E2eStats
Blanket Implementations§
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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> ⓘ
Converts
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> ⓘ
Converts
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 more