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

pub use super::boundary::BoundaryLengths;
pub use super::edge_cases::EdgeCases;
pub use super::exhaustive::ExhaustiveByteRange;
pub use super::pathological::Pathological;
pub use super::random::RandomUniform;
pub use super::u32_pathological::U32Pathological;
use crate::spec::types::OpSignature;

/// Default set of all built-in generators for conformance testing.
#[inline]
pub fn default_generators() -> Vec<Box<dyn InputGenerator>> {
    vec![
        Box::new(ExhaustiveByteRange),
        Box::new(EdgeCases),
        Box::new(RandomUniform),
        Box::new(Pathological),
        Box::new(BoundaryLengths),
        Box::new(U32Pathological),
    ]
}