Enum VerifyError 

pub enum VerifyError {
    TimingLeakDetected {
        t_value: f64,
        threshold: f64,
    },
    InsufficientSamples {
        required: usize,
        provided: usize,
    },
    ExecutionFailed {
        reason: String,
    },
    MemoryNotZeroized {
        offset: usize,
        actual: u8,
    },
    PropertyViolation {
        property: String,
    },
    ReportGenerationFailed {
        reason: String,
    },
}

Errors that can occur during verification.

Variants

TimingLeakDetected

Timing leak detected.

Fields

t_value: f64

threshold: f64

InsufficientSamples

Insufficient samples for statistical analysis.

Fields

required: usize

provided: usize

ExecutionFailed

Test execution failed.

Fields

reason: String

MemoryNotZeroized

Memory not properly zeroized.

Fields

offset: usize

actual: u8

PropertyViolation

Model checking property violation.

Fields

property: String

ReportGenerationFailed

Report generation failed.

Fields

reason: String

Trait Implementations

impl Debug for VerifyError

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

Formats the value using the given formatter.

impl Display for VerifyError

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

Formats the value using the given formatter.

impl Error for VerifyError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.