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

#[test]
fn {name}() {{
    let op_id_str = {op_id_str};
    let program = {program};
    let inputs = {value_inputs};
    let backends = vyre_conform::harnesses::backend::backend_registry();
    if backends.len() < 2 {{
        return;
    }}
    let expected = vyre_conform::vyre_reference::run(&program, &inputs)
        .unwrap_or_else(|error| panic!("Fix: reference interpreter rejected generated {op_id_display}/{archetype_id_display} backend-equivalence test: {{}}", error));
    for backend in backends {{
        let actual = backend.run(&program, &inputs)
            .unwrap_or_else(|error| panic!("Fix: backend {{}} failed generated {op_id_display}/{archetype_id_display} seed {seed}: {{}}", backend.name(), error));
        assert_eq!(
            actual,
            expected,
            "Fix: backend {{}} diverged from vyre_reference::run for {op_id_display}/{archetype_id_display}/{property_display} seed {seed} via {oracle_display}",
            backend.name()
        );
    }}
}}