rem_verification/
error.rs

1//! Implements specific error handling for the Verification System
2
3use std::fmt;
4use std::error::Error;
5
6#[derive(Debug)]
7pub enum AENEASError {
8    RuntimeError,
9    InvalidPathConversion
10}
11
12impl fmt::Display for AENEASError {
13    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
14        match self {
15            AENEASError::RuntimeError => { write!(f, "AENEAS Failed to run. Terminating verification") }
16            AENEASError::InvalidPathConversion => { write!(f, "Failed to convert LLBC path to a CoQ path") }
17        }
18    }
19}
20
21impl Error for AENEASError {}