Struct VerificationConfig 

pub struct VerificationConfig {
    pub strategy: VerificationStrategy,
    pub performance_budget: Duration,
    pub tolerance: f64,
    pub enable_invariant_checking: bool,
}

Platform-aware verification configuration

Fields

strategy: VerificationStrategy

performance_budget: Duration

tolerance: f64

enable_invariant_checking: bool

Trait Implementations

impl Clone for VerificationConfig

fn clone(&self) -> VerificationConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationConfig

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

Formats the value using the given formatter.

impl Default for VerificationConfig

fn default() -> Self

Returns the “default value” for a type.