vyre-conform 0.1.0

use crate::spec::{EngineInvariant, EngineSpec};

/// Build the eval engine conformance specification.
use super::{cpu_fn};
#[inline]
pub fn spec() -> EngineSpec {
    EngineSpec {
        id: "engine.eval",
        description: "Bytecode condition evaluator.",
        invariants: vec![
            EngineInvariant::Deterministic,
            EngineInvariant::BoundedResources,
        ],
        cpu_fn: Some(cpu_fn),
    }
}