Expand description

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

Structs

Enums