Enum ValidationError 

pub enum ValidationError {
    Counterexample {
        wasm_op_label: String,
        description: String,
    },
    UnsupportedOp(WasmOp),
    SolverUnknown(String),
    Internal(String),
}

Validation failure reasons.

Variants

Counterexample

The selection is semantically wrong; the validator found a counterexample (a concrete input where WASM and ARM disagree).

Fields

wasm_op_label: String

description: String

UnsupportedOp(WasmOp)

The validator does not support this WASM op. This is the common case during the per-op rollout (see docs/validator-pattern.md).

SolverUnknown(String)

Z3 returned unknown (timeout or unsupported theory).

Internal(String)

Internal encoding error (e.g. the emitted ARM sequence uses an instruction the validator’s lowering model does not cover).

Trait Implementations

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

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.