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};

/// Definition of an algebraic law.
#[derive(Debug, Deserialize, Serialize, Clone, PartialEq, Eq)]
#[serde(deny_unknown_fields)]
pub struct AlgebraicLaw {
    /// Name of the law.
    pub name: String,
    /// The ariadne diagnostic thread identifier.
    pub ariadne: String,
    /// The logical predicate defining the law.
    pub predicate: String,
    /// The strategy used for finding counterexamples.
    pub witness_strategy: String,
}