pub struct BreakpointResult {
pub breakpoint: TerminalBreakpoint,
pub outcome: BreakpointOutcome,
pub verification: ConstraintVerification,
}Expand description
Result of verifying at a single breakpoint.
Fields§
§breakpoint: TerminalBreakpointThe breakpoint that was tested.
outcome: BreakpointOutcomeOverall outcome.
verification: ConstraintVerificationFull verification details.
Trait Implementations§
Source§impl Clone for BreakpointResult
impl Clone for BreakpointResult
Source§fn clone(&self) -> BreakpointResult
fn clone(&self) -> BreakpointResult
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for BreakpointResult
impl RefUnwindSafe for BreakpointResult
impl Send for BreakpointResult
impl Sync for BreakpointResult
impl Unpin for BreakpointResult
impl UnsafeUnpin for BreakpointResult
impl UnwindSafe for BreakpointResult
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