Skip to main content

vyre_spec/
kat_vector.rs

1//! Frozen known-answer vector records for bit-exact operation checks.
2
3/// Known-answer test vector declared beside an operation in the frozen contract.
4///
5/// Example: a rotate-left primitive can publish input bytes, expected output
6/// bytes, and the source reference that established the vector.
7#[derive(Debug, Clone, PartialEq, Eq, Hash)]
8pub struct KatVector {
9    /// Test input bytes.
10    pub input: &'static [u8],
11    /// Expected output bytes.
12    pub expected: &'static [u8],
13    /// Source used to establish the vector.
14    pub source: &'static str,
15}