Struct bytecode_interpreter::StacklessBytecodeInterpreter

pub struct StacklessBytecodeInterpreter<'env> {
    pub env: &'env GlobalEnv,
    /* private fields */
}

Fields

env: &'env GlobalEnv

Implementations

impl<'env> StacklessBytecodeInterpreter<'env>

pub fn new( env: &'env GlobalEnv, options_opt: Option<ProverOptions>, settings: InterpreterSettings ) -> Self

pub fn interpret( &self, module_id: &ModuleId, func_name: &IdentStr, ty_args: &[TypeTag], args: &[MoveValue], global_state: &GlobalState ) -> (VMResult<Vec<Vec<u8>>>, ChangeSet, GlobalState)

pub fn interpret_with_bcs_arguments( &self, module_id: &ModuleId, func_name: &IdentStr, ty_args: &[TypeTag], bcs_args: &[Vec<u8>], senders_opt: Option<&[AccountAddress]>, global_state: &GlobalState ) -> (VMResult<Vec<Vec<u8>>>, ChangeSet, GlobalState)

pub fn report_property_checking_results(&self) -> Option<String>