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

use crate::OpSpec;

use super::error::CoverageError;

pub(super) fn check_signature(spec: &OpSpec, errors: &mut Vec<CoverageError>) {
    if spec.signature.inputs.is_empty() {
        errors.push(CoverageError::EmptySignature {
            op_id: spec.id.to_string(),
        });
    }
}