Crate move_prover_boogie_backend
source · [−]Modules
Wrapper around the boogie program. Allows to call boogie and analyze the output.
This module translates the bytecode of a module to Boogie code.
Functions
Adds the prelude to the generated output.