vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! One falsifiability matrix entry.

/// One entry in the falsifiability matrix.
pub struct FalsifiabilityEntry {
    /// Law name matching `canonical_law_id`.
    pub law_name: &'static str,
    /// Canonical broken implementation and witness proving falsifiability.
    pub canonical_counterexample: &'static str,
    /// Whether the checker can produce a counterexample for a broken reference.
    pub catches_violator: bool,
    /// Whether the checker passes an honest (correct) reference.
    pub passes_honest: bool,
}