Struct Counters 

pub struct Counters {
    pub sessions: u64,
    pub resets_epoch: u64,
    pub resets_scratch: u64,
    pub resets_budget: u64,
    pub scratch_unsettled: u64,
    pub scratch_instance: u64,
    pub scratch_expr: u64,
    pub proof_probes: u64,
}

How the session’s caches are doing (reported by logos_kernel --stats).

Fields

sessions: u64

resets_epoch: u64

resets_scratch: u64

resets_budget: u64

scratch_unsettled: u64

scratch_instance: u64

scratch_expr: u64

proof_probes: u64

Values whose proof-ness neither their shape nor their head’s signature decided, so that their type was inferred.

Trait Implementations

impl Clone for Counters

fn clone(&self) -> Counters

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Counters

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

Formats the value using the given formatter.

impl Default for Counters

fn default() -> Counters

Returns the “default value” for a type.