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
#[test]
fn {name}() {{
    let op_id_str = {op_id_str};
    let program = {program};
    let inputs = {value_inputs};
    let actual_values = vyre_conform::vyre_reference::run(&program, &inputs)
        .unwrap_or_else(|error| panic!("Fix: reference interpreter rejected generated {op_id_display}/{archetype_id_display} test: {{}}", error));
    let expected: Vec<u8> = {expected};
    assert_eq!(
        actual_values,
        vec![vyre_conform::spec::value::Value::Bytes(expected)],
        "Fix: {oracle_display} {property_display} failed for {op_id_display}/{archetype_id_display} seed {seed}"
    );
}}