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
16
17
18
19
20
21
22
23
24

use crate::OpSpec;
use vyre_spec::Category;

use super::error::CoverageError;

pub(super) fn check_category(spec: &OpSpec, errors: &mut Vec<CoverageError>) {
    match &spec.category {
        Category::A { composition_of } => {
            if composition_of.is_empty() {
                errors.push(CoverageError::UnclassifiedCategory {
                    op_id: spec.id.to_string(),
                });
            }
        }
        Category::C { hardware, .. } => {
            if hardware.trim().is_empty() {
                errors.push(CoverageError::MissingCategoryCHardware {
                    op_id: spec.id.to_string(),
                });
            }
        }
        _ => {}
    }
}