Skip to main content

vyre_spec/
adversarial_input.rs

1//! Frozen adversarial-input records shared by operation catalogs and test generators.
2
3/// Adversarial input declared beside an operation in the frozen data contract.
4///
5/// Example: an unsigned-division operation can publish an input whose divisor
6/// bytes are zero and whose reason names the defined divide-by-zero behavior.
7#[derive(Debug, Clone, PartialEq, Eq, Hash)]
8pub struct AdversarialInput {
9    /// Input bytes for the hostile or boundary case.
10    pub input: &'static [u8],
11    /// Why this input matters.
12    pub reason: &'static str,
13}