Skip to main content

validate

bloqade_lanes_bytecode_core::isa::validate

Function validate 

Source 
pub fn validate(
    program: &Program,
    arch: Option<&ArchSpec>,
) -> Vec<ValidationError>
Expand description

Validate a program’s arch-dependent constraints (capabilities + addresses).

When arch is None, all checks are skipped and an empty list is returned. Otherwise every violation is collected in program order (the validator does not stop at the first error), so callers can report them all at once.