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

use serde::{Deserialize, Serialize};

/// A set of witness seeds for generating adversarial inputs.
#[derive(Debug, Deserialize, Serialize, Clone, PartialEq, Eq)]
#[serde(deny_unknown_fields)]
pub struct WitnessSet {
    /// The target operation name.
    pub op: String,
    /// The base seed for PRNG.
    pub seed: u64,
    /// Number of witnesses to generate.
    pub count: usize,
    /// The statistical distribution strategy to apply.
    pub distribution: String,
}