Struct boogie_backend::boogie_wrapper::BoogieOutput
source · pub struct BoogieOutput {
pub errors: Vec<BoogieError>,
pub all_output: String,
}
Expand description
Output of a boogie run.
Fields§
§errors: Vec<BoogieError>
All errors which could be parsed from the output.
all_output: String
Full output as a string.