Struct WWork 

pub struct WWork {
    pub cell_cycles: u64,
    pub blocks: u64,
    pub writes: u64,
    pub calls: u64,
    pub returns: u64,
    pub shown_bytes: u64,
}

What a run did, in the units the engine’s cycle count is made of: every executed cell’s cycles with its data-dependent part priced from the data (a divide’s 64 steps, a power’s multiplies, a text’s or a copy’s length), and the blocks, register writes, calls and returns around them.

Fields

cell_cycles: u64

blocks: u64

writes: u64

calls: u64

returns: u64

shown_bytes: u64

Bytes of Show records streamed, which the engine’s run-cycle count leaves out.

Implementations

impl WWork

pub fn rtl_cycle_bound(&self, nreg: usize, maxarg: usize) -> u64

An upper bound on the engine’s counted run cycles for nreg registers and maxarg call arguments, under every memory backend: each block’s fetch and terminator settle, each write’s read-before-write pass, and each call’s frame save and argument gather and each return’s restore, which walk every register of the frame.

Trait Implementations

impl Clone for WWork

fn clone(&self) -> WWork

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WWork

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

Formats the value using the given formatter.

impl Default for WWork

fn default() -> WWork

Returns the “default value” for a type.

impl PartialEq for WWork

fn eq(&self, other: &WWork) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for WWork

impl Eq for WWork

impl StructuralPartialEq for WWork