Enum miri::RejectOpWith
source · pub enum RejectOpWith {
Abort,
NoWarning,
Warning,
WarningWithoutBacktrace,
}
Variants§
Abort
Isolated op is rejected with an abort of the machine.
NoWarning
If not Abort, miri returns an error for an isolated op. Following options determine if user should be warned about such error. Do not print warning about rejected isolated op.
Warning
Print a warning about rejected isolated op, with backtrace.
WarningWithoutBacktrace
Print a warning about rejected isolated op, without backtrace.
Trait Implementations§
source§impl Clone for RejectOpWith
impl Clone for RejectOpWith
source§fn clone(&self) -> RejectOpWith
fn clone(&self) -> RejectOpWith
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for RejectOpWith
impl Debug for RejectOpWith
source§impl PartialEq<RejectOpWith> for RejectOpWith
impl PartialEq<RejectOpWith> for RejectOpWith
source§fn eq(&self, other: &RejectOpWith) -> bool
fn eq(&self, other: &RejectOpWith) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Copy for RejectOpWith
impl StructuralPartialEq for RejectOpWith
Auto Trait Implementations§
impl RefUnwindSafe for RejectOpWith
impl Send for RejectOpWith
impl Sync for RejectOpWith
impl Unpin for RejectOpWith
impl UnwindSafe for RejectOpWith
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
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:
Abort
: 0 bytesNoWarning
: 0 bytesWarning
: 0 bytesWarningWithoutBacktrace
: 0 bytes