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