Struct GenmcConfig 

pub struct GenmcConfig {}

Implementations

impl GenmcConfig

pub fn parse_arg( _genmc_config: &mut Option<GenmcConfig>, _trimmed_arg: &str, ) -> Result<(), String>

pub fn validate(_miri_config: &mut MiriConfig) -> Result<(), &'static str>

Trait Implementations

impl Clone for GenmcConfig

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GenmcConfig

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

Formats the value using the given formatter.

impl Default for GenmcConfig

fn default() -> Self

Returns the “default value” for a type.

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: 0 bytes