Struct DivergenceEvent 

pub struct DivergenceEvent {
    pub case_label: String,
    pub program_fingerprint: [u8; 32],
    pub inputs: Vec<Vec<u8>>,
    pub backend_output: Vec<Vec<u8>>,
    pub reference_output: Vec<Vec<u8>>,
}

Structured divergence surfaced by the exhaustive matrix.

Fields

case_label: String

Stable label of the witness tuple that diverged.

program_fingerprint: [u8; 32]

blake3 fingerprint of the Program’s canonical wire bytes.

inputs: Vec<Vec<u8>>

Input buffers supplied to the dispatch, in declaration order.

backend_output: Vec<Vec<u8>>

Outputs the backend produced.

reference_output: Vec<Vec<u8>>

Outputs the reference produced.

Trait Implementations

impl Clone for DivergenceEvent

fn clone(&self) -> DivergenceEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DivergenceEvent

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

Formats the value using the given formatter.

impl Eq for DivergenceEvent

impl PartialEq for DivergenceEvent

fn eq(&self, other: &DivergenceEvent) -> 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 StructuralPartialEq for DivergenceEvent