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