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

//! The fifteen invariants that every conforming vyre implementation must satisfy.
//!
//! The canonical catalog is defined by `vyre-spec` so backend vendors can prove
//! conformance without depending on `vyre` or `vyre-conform`.

/// Re-export of the invariant catalog and lookup helpers from `vyre-spec`.
pub use vyre_spec::{
    by_category, by_id, catalog_is_complete, empty_test_family, invariants,
    EngineInvariant as InvariantId, Invariant, InvariantCategory, TestDescriptor,
};