Skip to main content

VerifyConfig

machine_check_compile

Struct VerifyConfig

pub struct VerifyConfig {
    pub abstract_machine: File,
    pub machine_path: Option<Utf8PathBuf>,
    pub preparation_path: Option<Utf8PathBuf>,
    pub batch: bool,
    pub gui: bool,
    pub property: Option<String>,
    pub verbose: u8,
    pub use_decay: bool,
}

Fields§

§abstract_machine: File§machine_path: Option<Utf8PathBuf>§preparation_path: Option<Utf8PathBuf>§batch: bool§gui: bool§property: Option<String>§verbose: u8§use_decay: bool

Auto Trait Implementations§

impl !Send for Config

impl !Sync for Config

impl Freeze for Config

impl RefUnwindSafe for Config

impl Unpin for Config

impl UnsafeUnpin for Config

impl UnwindSafe for Config

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.