Function move_prover::generate_boogie
source · pub fn generate_boogie(
env: &GlobalEnv,
options: &Options,
targets: &FunctionTargetsHolder
) -> Result<CodeWriter>
pub fn generate_boogie(
env: &GlobalEnv,
options: &Options,
targets: &FunctionTargetsHolder
) -> Result<CodeWriter>