Enum RejectOpWith

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

impl Clone for RejectOpWith

fn clone(&self) -> RejectOpWith

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RejectOpWith

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for RejectOpWith

fn eq(&self, other: &RejectOpWith) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for RejectOpWith

impl StructuralPartialEq for RejectOpWith

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 bytes
• NoWarning: 0 bytes
• Warning: 0 bytes
• WarningWithoutBacktrace: 0 bytes