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

use crate::proof::comparator::ComparatorKind;
use crate::spec::types::{ChainSpec, OpSpec, Strictness};
pub use super::suite::ConformanceSuite;
use crate::spec::minimums::{MIN_BOUNDARY_VALUES, MIN_EQUIVALENCE_CLASSES};

#[inline]
pub(crate) fn chain_comparator(chain: &ChainSpec) -> ComparatorKind {
    chain
        .specs
        .last()
        .map_or(ComparatorKind::ExactMatch, |spec| spec.comparator)
}