Enum PredicateApiError 

pub enum PredicateApiError {
    Io(Error),
    InvalidPolicy(String),
    TimedOut {
        timeout: Duration,
    },
    OutputLimitExceeded {
        stream: &'static str,
        limit_bytes: usize,
    },
    CommandFailed {
        exit_code: Option<i32>,
        stderr: String,
    },
    ResourceRefused {
        reason: ControllerPlantResourceRefusalReason,
    },
    Btor2ChannelPropertyResourceRefused {
        reason: Btor2ChannelPropertyResourceRefusalReason,
    },
    IncompatibleContract(String),
    InvalidResponse(String),
}

A stable API error. Logical certificate results are not errors.

Variants

Io(Error)

InvalidPolicy(String)

TimedOut

Fields

timeout: Duration

OutputLimitExceeded

Fields

stream: &'static str

limit_bytes: usize

CommandFailed

Fields

exit_code: Option<i32>

stderr: String

ResourceRefused

Fields

reason: ControllerPlantResourceRefusalReason

Btor2ChannelPropertyResourceRefused

Fields

reason: Btor2ChannelPropertyResourceRefusalReason

IncompatibleContract(String)

InvalidResponse(String)

Implementations

impl PredicateApiError

pub fn failure_class(&self) -> FailureClass

Trait Implementations

impl Debug for PredicateApiError

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

Formats the value using the given formatter.

impl Display for PredicateApiError

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

Formats the value using the given formatter.

impl Error for PredicateApiError

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<Error> for PredicateApiError

fn from(error: Error) -> Self

Converts to this type from the input type.