Enum ExecutionError 

#[non_exhaustive]
pub enum ExecutionError {
    AceChipError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        error: AceError,
    },
    AdviceError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: AdviceError,
    },
    CycleLimitExceeded(u32),
    EventError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        event_id: EventId,
        event_name: Option<EventName>,
        error: EventError,
    },
    DeferredError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: PrecompileError,
    },
    Internal(&'static str),
    StackDepthLimitExceeded {
        depth: usize,
        max: usize,
    },
    TraceLenExceeded(usize),
    ProverMemoryExceeded {
        estimated_bytes: u64,
        budget_bytes: u64,
    },
    MemoryError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: MemoryError,
    },
    MemoryErrorNoCtx(MemoryError),
    OperationError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: OperationError,
    },
    OutputStackOverflow(usize),
    ProcedureNotFound {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        root_digest: Word,
    },
    ProvingError(String),
    HostError(HostError),
    PackageDebugInfoError(PackageDebugInfoError),
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

AceChipError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

error: AceError

AdviceError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: AdviceError

CycleLimitExceeded(u32)

EventError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

event_id: EventId

event_name: Option<EventName>

error: EventError

DeferredError

Deferred system event failed while validating or evaluating a committed node.

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: PrecompileError

Internal(&'static str)

StackDepthLimitExceeded

Fields

depth: usize

max: usize

TraceLenExceeded(usize)

This means trace generation would go over the configured row limit.

In parallel trace building, this is used for core-row prechecks and chiplet overflow.

ProverMemoryExceeded

This means the modelled peak prover memory for the trace exceeds the configured budget.

Fields

estimated_bytes: u64

budget_bytes: u64

MemoryError

Memory error with source context for diagnostics.

Use MemoryResultExt::map_mem_err to convert Result<T, MemoryError> with context.

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: MemoryError

MemoryErrorNoCtx(MemoryError)

Memory error without source context (for internal operations like FMP initialization).

Use ExecutionError::MemoryErrorNoCtx for memory errors that don’t have error context available (e.g., during call/syscall context initialization).

OperationError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: OperationError

OutputStackOverflow(usize)

ProcedureNotFound

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

root_digest: Word

ProvingError(String)

HostError(HostError)

PackageDebugInfoError(PackageDebugInfoError)

Implementations

impl ExecutionError

pub fn advice_error_no_context(err: AdviceError) -> Self

Wraps an advice error without source-location context.

Trait Implementations

impl AsRef<dyn Diagnostic> for ExecutionError

fn as_ref(&self) -> &(dyn Diagnostic + 'static)

Converts this type into a shared reference of the (usually inferred) input type.

impl Debug for ExecutionError

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

Formats the value using the given formatter.

impl Diagnostic for ExecutionError

fn code(&self) -> Option<Box<dyn Display + '_>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn help(&self) -> Option<Box<dyn Display + '_>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.

fn related(&self) -> Option<Box<dyn Iterator<Item = &dyn Diagnostic> + '_>>

Additional related Diagnostics.

fn url(&self) -> Option<Box<dyn Display + '_>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.

impl Display for ExecutionError

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

Formats the value using the given formatter.

impl Error for ExecutionError

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.

impl From<HostError> for ExecutionError

fn from(source: HostError) -> Self

Converts to this type from the input type.

impl From<PackageDebugInfoError> for ExecutionError

fn from(source: PackageDebugInfoError) -> Self

Converts to this type from the input type.