Function move_prover::create_and_process_bytecode
source · pub fn create_and_process_bytecode(
options: &Options,
env: &GlobalEnv
) -> FunctionTargetsHolder
Expand description
Create bytecode and process it.
pub fn create_and_process_bytecode(
options: &Options,
env: &GlobalEnv
) -> FunctionTargetsHolder
Create bytecode and process it.