fn create_and_process_bytecode(options: &Options, env: &GlobalEnv) -> FunctionTargetsHolder {
    let mut targets = FunctionTargetsHolder::default();

    // Add function targets for all functions in the environment.
    for module_env in env.get_modules() {
        for func_env in module_env.get_functions() {
            targets.add_target(&func_env)
        }
    }

    // Create processing pipeline and run it.
    let pipeline = create_bytecode_processing_pipeline(options);
    let dump_file = if options.prover.dump_bytecode {
        Some(
            options
                .move_sources
                .get(0)
                .cloned()
                .unwrap_or_else(|| "bytecode".to_string())
                .replace(".move", ""),
        )
    } else {
        None
    };
    pipeline.run(env, &mut targets, dump_file);

    targets
}
/// Create bytecode and process it.
Create bytecode and process it.
Create bytecode and process it .
fn create_and_process_bytecode(options: &Options, env: &GlobalEnv) -> FunctionTargetsHolder {
    let mut targets = FunctionTargetsHolder::default();
    // Add function targets for all functions in the environment.
    for module_env in env.get_modules() {
        for func_env in module_env.get_functions() {
            targets.add_target(&func_env)
        }
    }
    // Create processing pipeline and run it.
    let pipeline = create_bytecode_processing_pipeline(options);
    let dump_file = if options.prover.dump_bytecode {
        Some(
            options
                .move_sources
                .get(0)
                .cloned()
                .unwrap_or_else(|| "bytecode".to_string())
                .replace(".move", ""),
        )
    } else {
        None
    };
    pipeline.run(env, &mut targets, dump_file);
    targets
}
fn create_and_process_bytecode ( options : & Options , env : & GlobalEnv ) -> FunctionTargetsHolder { let mut targets = FunctionTargetsHolder :: default ( ) ; // Add function targets for all functions in the environment. for module_env in env . get_modules ( ) { for func_env in module_env . get_functions ( ) { targets . add_target ( & func_env ) } } // Create processing pipeline and run it. let pipeline = create_bytecode_processing_pipeline ( options ) ; let dump_file = if options . prover . dump_bytecode { Some ( options . move_sources . get ( 0 ) . cloned ( ) . unwrap_or_else ( | | " " . to_string ( ) ) . replace ( " " , " " ) , ) } else { None } ; pipeline . run ( env , & mut targets , dump_file ) ; targets }
Create bytecode and process it.
Create bytecode and process it .
options
&Options
env
&GlobalEnv