Struct ProofCount 

pub struct ProofCount {
    pub lines_checked: u64,
    pub segments_by_digest: u64,
    pub bytes_read: u64,
    pub bytes_hashed: u64,
    pub waves: u64,
}

What one proof read and computed: counts rather than time, so a test can hold them at two sizes of history.

Fields

lines_checked: u64

Lines checked one by one through LineCheck.

segments_by_digest: u64

Segments whose record stood in for checking their prefix.

bytes_read: u64

bytes_hashed: u64

waves: u64

Waves the segments were read in, each wave read side by side before the chain is walked through it (crates/storage/spec/ChainAudit.lean §8-37).

Trait Implementations

impl Clone for ProofCount

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProofCount

impl Debug for ProofCount

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

Formats the value using the given formatter.

impl Default for ProofCount

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ProofCount

impl PartialEq for ProofCount

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProofCount