Struct Executed 

pub struct Executed {
    pub block: BlockId,
    pub body: usize,
    pub retired: u64,
}

Where an executor left the machine.

Fields

block: BlockId

The block whose terminator the interpreter still has to run. With chaining this is the last of several, not the one that was asked for.

body: usize

How many instructions of that block were retired: its body.

retired: u64

Operations retired across every block run, for accounting.

Trait Implementations

impl Clone for Executed

fn clone(&self) -> Executed

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Executed

impl Debug for Executed

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.