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.base64`.

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

pub const ROWS: &[SpecRow] = &[
    SpecRow {
        inputs: &[b""],
        expected: b"",
        rationale: "empty input produces empty output — no padding, no error",
        source: SpecSource::HandWritten,
    },
    SpecRow {
        inputs: &[b"YQ=="],
        expected: b"a",
        rationale: "single character with padding exercises the padding path",
        source: SpecSource::HandWritten,
    },
    SpecRow {
        inputs: &[b"YWJj"],
        expected: b"abc",
        rationale: "three characters without padding exercises the unpadded 4-to-3 decode",
        source: SpecSource::HandWritten,
    },
    SpecRow {
        inputs: &[b"SGVsbG8gV29ybGQ="],
        expected: b"Hello World",
        rationale: "multi-block decode with padding exercises the main loop and final block",
        source: SpecSource::HandWritten,
    },
];