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
14
15
16
17
18
19
20
21
22

//! Composition strategies for multi-op chain testing.
//!
//! Composers generate type-compatible operation chains that test
//! how ops behave when composed together (output of one → input of next).

mod pairwise;

pub use 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>;
}

/// Default set of composition strategies.
#[inline]
pub fn default_composers() -> Vec<Box<dyn CompositionStrategy>> {
    vec![Box::new(PairwiseComposer)]
}