Struct Report 

pub struct Report {
    pub verdicts: Vec<(String, Verdict)>,
    pub schedules: [Schedule; 2],
    pub units: Report,
    pub gave: [usize; 2],
}

A decision of two streams: a verdict per claimed output bit (out<k>.<i>), each side’s schedule, the units’ rounds, and how many tokens each side gave in the clocks unrolled.

Fields

verdicts: Vec<(String, Verdict)>

schedules: [Schedule; 2]

units: Report

gave: [usize; 2]

Implementations

impl Report

pub fn all_equal(&self) -> bool

impl Report

pub fn check( &self, left: &StreamSide<'_>, left_env: &Environment<'_>, right: &StreamSide<'_>, right_env: &Environment<'_>, functions: &[(String, String)], ) -> bool

Both schedules’ derivations replay and the units’ rounds check over the sides bound as the schedules say.

Trait Implementations

impl Clone for Report

fn clone(&self) -> Report

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Report

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

Formats the value using the given formatter.