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
use crate::spec::version::CURRENT_VERSION;
use crate::OpSpec;

use super::error::CoverageError;

pub(super) fn check_since_version(spec: &OpSpec, errors: &mut Vec<CoverageError>) {
    if spec.since_version > CURRENT_VERSION {
        errors.push(CoverageError::FutureSinceVersion {
            op_id: spec.id.to_string(),
            declared: format!("{:?}", spec.since_version),
        });
    }
}