vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation
1
2
3
4
5
pub(crate) fn builtin_off_by_one_add(input: &[u8]) -> Vec<u8> {
    use super::{read_binary, write_u32};
    let (a, b) = read_binary(input);
    write_u32(a.wrapping_add(b).wrapping_add(1))
}