Struct boogie_backend::boogie_wrapper::BoogieError
source · pub struct BoogieError {
pub kind: BoogieErrorKind,
pub loc: Loc,
pub message: String,
pub execution_trace: Vec<TraceEntry>,
pub model: Option<Model>,
}
Expand description
A boogie error.
Fields§
§kind: BoogieErrorKind
§loc: Loc
§message: String
§execution_trace: Vec<TraceEntry>
§model: Option<Model>