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
23
24
25
26
27
28
29
30

//! Hand-written specification rows for `primitive.encoding.hex`.

use crate::spec::{SpecRow, SpecSource};

pub const ROWS: &[SpecRow] = &[
    SpecRow {
        inputs: &[b""],
        expected: b"",
        rationale: "empty input produces empty output",
        source: SpecSource::HandWritten,
    },
    SpecRow {
        inputs: &[b"48656c6c6f"],
        expected: b"Hello",
        rationale: "lowercase hex decode of ASCII string",
        source: SpecSource::HandWritten,
    },
    SpecRow {
        inputs: &[b"DEADBEEF"],
        expected: &[0xDE, 0xAD, 0xBE, 0xEF],
        rationale: "uppercase hex decode of binary data",
        source: SpecSource::HandWritten,
    },
    SpecRow {
        inputs: &[b"FF00"],
        expected: &[0xFF, 0x00],
        rationale: "boundary bytes 0xFF and 0x00 exercise full nibble range",
        source: SpecSource::HandWritten,
    },
];