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

pub use super::pairwise::PairwiseComposer;
use crate::{ChainSpec, OpSpec};

/// Generates type-compatible operation chains for composition testing.
pub trait CompositionStrategy: Send + Sync {
    /// Generate all valid chains from the given op specs.
    fn generate_chains(&self, specs: &[OpSpec]) -> Vec<ChainSpec>;
}