Module boogie_backend::boogie_wrapper

Wrapper around the boogie program. Allows to call boogie and analyze the output.

Structs

• BoogieError
  A boogie error.
• BoogieOutput
  Output of a boogie run.
• BoogieWrapper
  Represents the boogie wrapper.
• Model
  Represents a boogie model.
• ModelValueVector
  Represents a spare representation of a model value vector.

Enums

• BoogieErrorKind
  Kind of boogie error.
• ModelValue
  Represents a model value.
• TraceEntry
  A trace entry.