Struct VirtManager 

pub struct VirtManager { /* private fields */ }

Manages virtualization instances and their lifecycle.

Instance IDs are assigned deterministically from an incrementing counter, ensuring no non-determinism across different executions.

Trait Implementations

impl Default for VirtManager

fn default() -> Self

Returns the “default value” for a type.

impl Virtualization for VirtManager

fn instantiate(&mut self, program: &[u8]) -> Result<Result<InstanceId, u8>>

fn run( &mut self, instance_id: InstanceId, gas_left: i64, action: ExecAction<'_>, ) -> Result<Result<ExecOutcome, u8>>

Execute or resume a virtualization instance.

fn destroy(&mut self, instance_id: InstanceId) -> Result<Result<(), u8>>

fn read_memory( &mut self, instance_id: InstanceId, offset: u32, dest: &mut [u8], ) -> Result<Result<(), u8>>

fn write_memory( &mut self, instance_id: InstanceId, offset: u32, src: &[u8], ) -> Result<Result<(), u8>>